3 # For documentation on this file format, please refer to
4 # src/theory/builtin/kinds.
7 theory THEORY_BOOL ::CVC4::theory::booleans::TheoryBool "theory/booleans/theory_bool.h"
11 rewriter ::CVC4::theory::booleans::TheoryBoolRewriter "theory/booleans/theory_bool_rewriter.h"
16 "NodeManager::currentNM()->mkConst(false)" \
17 "expr/node_manager.h" \
20 constant CONST_BOOLEAN \
22 ::CVC4::BoolHashStrategy \
26 operator NOT 1 "logical not"
27 operator AND 2: "logical and"
28 operator IFF 2 "logical equivalence"
29 operator IMPLIES 2 "logical implication"
30 operator OR 2: "logical or"
31 operator XOR 2 "exclusive or"
32 operator ITE 3 "if-then-else"