Home
last modified time | relevance | path

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

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp1420 const Ineq& ineqEntry = listOfDBIneqs[i]; in projectInequalities() local
1421 const Theorem& ineqThm = ineqEntry.ineq(); in projectInequalities()
1422 if(!isStale(ineqEntry)) { in projectInequalities()
H A Dtheory_arith_old.cpp1783 const Ineq& ineqEntry = listOfDBIneqs[i]; in projectInequalities() local
1784 … const Theorem& ineqThm = ineqEntry.ineq(); //inequalityToFind(ineqEntry.ineq(), isolatedVarOnRHS); in projectInequalities()
1788 if(!isStale(ineqEntry)) { in projectInequalities()