diff options
Diffstat (limited to 'src/theory/booleans/kinds')
-rw-r--r-- | src/theory/booleans/kinds | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/theory/booleans/kinds b/src/theory/booleans/kinds index d8009ad12..6560cdd1a 100644 --- a/src/theory/booleans/kinds +++ b/src/theory/booleans/kinds @@ -4,12 +4,12 @@ # src/theory/builtin/kinds. # -theory THEORY_BOOL ::CVC5::theory::booleans::TheoryBool "theory/booleans/theory_bool.h" +theory THEORY_BOOL ::cvc5::theory::booleans::TheoryBool "theory/booleans/theory_bool.h" typechecker "theory/booleans/theory_bool_type_rules.h" properties finite -rewriter ::CVC5::theory::booleans::TheoryBoolRewriter "theory/booleans/theory_bool_rewriter.h" +rewriter ::cvc5::theory::booleans::TheoryBoolRewriter "theory/booleans/theory_bool_rewriter.h" sort BOOLEAN_TYPE \ 2 \ @@ -20,12 +20,12 @@ sort BOOLEAN_TYPE \ constant CONST_BOOLEAN \ bool \ - ::CVC5::BoolHashFunction \ + ::cvc5::BoolHashFunction \ "util/bool.h" \ "truth and falsity; payload is a (C++) bool" enumerator BOOLEAN_TYPE \ - "::CVC5::theory::booleans::BooleanEnumerator" \ + "::cvc5::theory::booleans::BooleanEnumerator" \ "theory/booleans/type_enumerator.h" operator NOT 1 "logical not" @@ -35,13 +35,13 @@ operator OR 2: "logical or (N-ary)" operator XOR 2 "exclusive or (exactly two parameters)" operator ITE 3 "if-then-else, used for both Boolean and term ITE constructs; first parameter is (Boolean-sorted) condition, second is 'then', third is 'else' and these two parameters must have same base sort" -typerule CONST_BOOLEAN ::CVC5::theory::boolean::BooleanTypeRule +typerule CONST_BOOLEAN ::cvc5::theory::boolean::BooleanTypeRule -typerule NOT ::CVC5::theory::boolean::BooleanTypeRule -typerule AND ::CVC5::theory::boolean::BooleanTypeRule -typerule IMPLIES ::CVC5::theory::boolean::BooleanTypeRule -typerule OR ::CVC5::theory::boolean::BooleanTypeRule -typerule XOR ::CVC5::theory::boolean::BooleanTypeRule -typerule ITE ::CVC5::theory::boolean::IteTypeRule +typerule NOT ::cvc5::theory::boolean::BooleanTypeRule +typerule AND ::cvc5::theory::boolean::BooleanTypeRule +typerule IMPLIES ::cvc5::theory::boolean::BooleanTypeRule +typerule OR ::cvc5::theory::boolean::BooleanTypeRule +typerule XOR ::cvc5::theory::boolean::BooleanTypeRule +typerule ITE ::cvc5::theory::boolean::IteTypeRule endtheory |