Searched defs:varOnRHS (Results 1 – 5 of 5) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_arith3.h | 58 Ineq(const Theorem& ineq, bool varOnRHS, const FreeConst& c): in Ineq()
65 bool varOnRHS() const { return d_rhs; } in varOnRHS() function
|
| H A D | theory_arith_new.h | 73 Ineq(const Theorem& ineq, bool varOnRHS, const FreeConst& c): in Ineq()
80 bool varOnRHS() const { return d_rhs; } in varOnRHS() function
|
| H A D | theory_arith_old.h | 61 Ineq(const Theorem& ineq, bool varOnRHS, const FreeConst& c): in Ineq()
68 bool varOnRHS() const { return d_rhs; } in varOnRHS() function
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
| H A D | theory_arith3.cpp | 93 const Rational& TheoryArith3::freeConstIneq(const Expr& ineq, bool varOnRHS) { in freeConstIneq()
111 TheoryArith3::updateSubsumptionDB(const Expr& ineq, bool varOnRHS, in updateSubsumptionDB()
1062 bool varOnRHS; in processBuffer() local
|
| H A D | theory_arith_old.cpp | 98 const Rational& TheoryArithOld::freeConstIneq(const Expr& ineq, bool varOnRHS) { in freeConstIneq()
116 TheoryArithOld::updateSubsumptionDB(const Expr& ineq, bool varOnRHS, in updateSubsumptionDB()
1040 bool varOnRHS; in processBuffer() local
|