Searched refs:addTheory (Results 1 – 11 of 11) sorted by relevance
195 addTheory(THEORY_INTS); in setLogic()214 addTheory(THEORY_INTS); in setLogic()226 addTheory(THEORY_INTS); in setLogic()260 addTheory(THEORY_INTS); in setLogic()273 addTheory(THEORY_INTS); in setLogic()279 addTheory(THEORY_INTS); in setLogic()289 addTheory(THEORY_INTS); in setLogic()296 addTheory(THEORY_INTS); in setLogic()304 addTheory(THEORY_INTS); in setLogic()317 addTheory(THEORY_INTS); in setLogic()[all …]
111 void addTheory(Theory theory);
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()
43 addTheory(Smt2::THEORY_CORE); in Smt2()490 addTheory(THEORY_CORE); in setLogic()493 addTheory(THEORY_UF); in setLogic()501 addTheory(THEORY_INTS); in setLogic()504 addTheory(THEORY_REALS); in setLogic()514 addTheory(THEORY_ARRAYS); in setLogic()522 addTheory(THEORY_DATATYPES); in setLogic()526 addTheory(THEORY_SETS); in setLogic()530 addTheory(THEORY_STRINGS); in setLogic()538 addTheory(THEORY_FP); in setLogic()[all …]
86 void addTheory(Theory theory);
42 static void addTheory(TheoryEngine* engine, TheoryId id) { in addTheory() function
493 inline void addTheory(theory::TheoryId theoryId) { in addTheory() function
37 addTheory(Tptp::THEORY_CORE); in Tptp()70 void Tptp::addTheory(Theory theory) { in addTheory() function in CVC4::parser::Tptp
101 void addTheory(Theory theory);
378 dynamic_cast<Smt2*>(&parser)->addTheory(Smt2::THEORY_CORE); in setupContext()
935 TheoryConstructor::addTheory(d_theoryEngine, id); in finishInit()