diff options
Diffstat (limited to 'src/theory/booleans/kinds')
| -rw-r--r-- | src/theory/booleans/kinds | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/theory/booleans/kinds b/src/theory/booleans/kinds index ac6b05881..25ca1cfe3 100644 --- a/src/theory/booleans/kinds +++ b/src/theory/booleans/kinds @@ -4,7 +4,13 @@ # src/theory/builtin/kinds. # -theory ::CVC4::theory::booleans::TheoryBool "theory_bool.h" +theory THEORY_BOOL ::CVC4::theory::booleans::TheoryBool "theory/booleans/theory_bool.h" + +properties finite + +rewriter ::CVC4::theory::booleans::TheoryBoolRewriter "theory/booleans/theory_bool_rewriter.h" + +sort BOOLEAN_TYPE "Boolean type" constant CONST_BOOLEAN \ bool \ @@ -19,3 +25,5 @@ operator IMPLIES 2 "logical implication" operator OR 2: "logical or" operator XOR 2 "exclusive or" operator ITE 3 "if-then-else" + +endtheory
\ No newline at end of file |