Searched refs:TheoryArithOld (Results 1 – 5 of 5) sorted by relevance
115 const TheoryArithOld::FreeConst&218 Theorem TheoryArithOld::canon(const Expr& e) in canon()1037 void TheoryArithOld::processBuffer() in processBuffer()1651 bool TheoryArithOld::isStale(const TheoryArithOld::Ineq& ineq) { in isStale()2227 TheoryArithOld::TheoryArithOld(TheoryCore* core) in TheoryArithOld() function in TheoryArithOld2343 TheoryArithOld::~TheoryArithOld() { in ~TheoryArithOld()2372 TheoryArithOld::processFiniteInterval in processFiniteInterval()2458 TheoryArithOld::setupRec(const Expr& e) { in setupRec()3355 void TheoryArithOld::setup(const Expr& e) in setup()5192 const TheoryArithOld::DifferenceLogicGraph::EpsRational TheoryArithOld::DifferenceLogicGraph::EpsRa…[all …]
32 TheoryArithOld* d_theoryArith;66 ArithTheoremProducerOld(TheoremManager* tm, TheoryArithOld* theoryArith): in ArithTheoremProducerOld()
44 ArithProofRules* TheoryArithOld::createProofRulesOld() { in createProofRulesOld()
30 class TheoryArithOld :public TheoryArith {317 TheoryArithOld(TheoryCore* core);318 ~TheoryArithOld();753 TheoryArithOld* arith;810 void setArith(TheoryArithOld* arith) { in setArith()817 …DifferenceLogicGraph(TheoryArithOld* arith, TheoryCore* core, ArithProofRules* rules, Context* con…
500 d_theories.push_back(d_theoryArith = new TheoryArithOld(d_theoryCore)); in init()655 d_theoryArith = new TheoryArithOld(d_theoryCore); in reprocessFlags()