blob: 5b596afd4161bd42e27f48b497873b2a2963014f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#include "theory/theory.h"
namespace CVC4 {
namespace theory {
namespace arith {
class TheoryArith : public TheoryImpl<TheoryArith> {
public:
TheoryArith(context::Context* c, OutputChannel& out) :
TheoryImpl<TheoryArith>(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(); }
};
}
}
}
|