blob: 26e5a69fb5984f73ef474e3695193f7918c1d75a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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(); }
};
}
}
}
|