Home
last modified time | relevance | path

Searched defs:theIneq (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith_old.cpp1726 Expr theIneq = theIneqThm.getExpr(); in projectInequalities() local
3273 Expr theIneq = thm.getRHS(); in rewrite() local
3311 Expr theIneq = thm.getRHS(); in rewrite() local
H A Dtheory_arith3.cpp1360 Expr theIneq = theIneqThm.getExpr(); in projectInequalities() local