Home
last modified time | relevance | path

Searched refs:FakeTheory (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc4/CVC4-1.7/test/unit/theory/
H A Dtheory_engine_white.h75 class FakeTheory; variable
99 class FakeTheory : public Theory {
113 …FakeTheory(context::Context* ctxt, context::UserContext* uctxt, OutputChannel& out, Valuation valu… in FakeTheory() function
118 static void expect(RewriteType type, FakeTheory* thy, TNode n, bool topLevel) in expect()
265 d_theoryEngine->addTheory< FakeTheory<THEORY_BUILTIN> >(THEORY_BUILTIN); in setUp()
266 d_theoryEngine->addTheory< FakeTheory<THEORY_BOOL> >(THEORY_BOOL); in setUp()
267 d_theoryEngine->addTheory< FakeTheory<THEORY_UF> >(THEORY_UF); in setUp()
268 d_theoryEngine->addTheory< FakeTheory<THEORY_ARITH> >(THEORY_ARITH); in setUp()
269 d_theoryEngine->addTheory< FakeTheory<THEORY_ARRAYS> >(THEORY_ARRAYS); in setUp()
270 d_theoryEngine->addTheory< FakeTheory<THEORY_BV> >(THEORY_BV); in setUp()