3 # For documentation on this file format, please refer to
4 # src/theory/builtin/kinds.
7 theory ::CVC4::theory::booleans::TheoryBool "theory_bool.h"
9 constant CONST_BOOLEAN \
11 ::CVC4::BoolHashStrategy \
15 operator NOT 1 "logical not"
16 operator AND 2: "logical and"
17 operator IFF 2 "logical equivalence"
18 operator IMPLIES 2 "logical implication"
19 operator OR 2: "logical or"
20 operator XOR 2 "exclusive or"
21 operator ITE 3 "if-then-else"