blob: 23e90c19aededd39c7d52fffc8990e58517a475e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# kinds -*- sh -*-
#
# For documentation on this file format, please refer to
# src/theory/builtin/kinds.
#
theory THEORY_$id ::CVC4::theory::$dir::Theory$camel "theory/$dir/theory_$dir.h"
typechecker "theory/$dir/theory_$dir_type_rules.h"
rewriter ::CVC4::theory::$dir::Theory$camelRewriter "theory/$dir/theory_$dir_rewriter.h"
properties check
# Theory content goes here.
# constants...
# types...
# operators...
endtheory
|