Home
last modified time | relevance | path

Searched defs:isIntLHS (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith_old.cpp818 Theorem isIntLHS = isIntegerThm(x); in processSimpleIntEq() local
1730 Theorem isIntLHS(isIntegerThm(theIneq[0])); in projectInequalities() local
3276 Theorem isIntLHS(isIntegerThm(theIneq[0])); in rewrite() local
3314 Theorem isIntLHS(isIntegerThm(theIneq[0])); in rewrite() local
H A Dtheory_arith3.cpp838 Theorem isIntLHS = isIntegerThm(x); in processSimpleIntEq() local
1362 Theorem isIntLHS(isIntegerThm(theIneq[0])); in projectInequalities() local
H A Darith_theorem_producer.cpp2086 const Theorem& isIntLHS, in lessThanToLE()
3153 const Theorem& isIntLHS, in lessThanToLERewrite()
H A Darith_theorem_producer3.cpp2044 const Theorem& isIntLHS, in lessThanToLE()
3104 const Theorem& isIntLHS, in lessThanToLERewrite()
H A Darith_theorem_producer_old.cpp2246 const Theorem& isIntLHS, in lessThanToLE()
3417 const Theorem& isIntLHS, in lessThanToLERewrite()
H A Dtheory_arith_new.cpp594 Theorem isIntLHS = isIntegerThm(x); in processSimpleIntEq() local