diff options
Diffstat (limited to 'src/theory/booleans/theory_bool.h')
-rw-r--r-- | src/theory/booleans/theory_bool.h | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/theory/booleans/theory_bool.h b/src/theory/booleans/theory_bool.h new file mode 100644 index 000000000..26e5a69fb --- /dev/null +++ b/src/theory/booleans/theory_bool.h @@ -0,0 +1,24 @@ +#include "theory/theory.h" +#include "context/context.h" + +namespace CVC4 { +namespace theory { +namespace booleans { + +class TheoryBool : public TheoryImpl<TheoryBool> { +public: + TheoryBool(context::Context* c, OutputChannel& out) : + TheoryImpl<TheoryBool>(c, out) { + } + + void preRegisterTerm(TNode n) { Unimplemented(); } + void registerTerm(TNode n) { Unimplemented(); } + void check(Effort e) { Unimplemented(); } + void propagate(Effort e) { Unimplemented(); } + void explain(TNode n, Effort e) { Unimplemented(); } +}; + +} +} +} + |