Home
last modified time | relevance | path

Searched refs:lessThanToLE (Results 1 – 9 of 9) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Darith_proof_rules.h277 virtual Theorem lessThanToLE(const Theorem& less,
H A Darith_theorem_producer.h278 Theorem lessThanToLE(const Theorem& less, const Theorem& isIntLHS,
H A Darith_theorem_producer_old.h277 Theorem lessThanToLE(const Theorem& less, const Theorem& isIntLHS,
H A Darith_theorem_producer3.h277 Theorem lessThanToLE(const Theorem& less, const Theorem& isIntLHS,
H A Darith_theorem_producer.cpp2085 Theorem ArithTheoremProducer::lessThanToLE(const Theorem& less, in lessThanToLE() function in ArithTheoremProducer
H A Dtheory_arith3.cpp1367 Theorem thm = d_rules->lessThanToLE(theInequality, isIntLHS, isIntRHS, in projectInequalities()
H A Darith_theorem_producer3.cpp2043 Theorem ArithTheoremProducer3::lessThanToLE(const Theorem& less, in lessThanToLE() function in ArithTheoremProducer3
H A Darith_theorem_producer_old.cpp2245 Theorem ArithTheoremProducerOld::lessThanToLE(const Theorem& less, in lessThanToLE() function in ArithTheoremProducerOld
H A Dtheory_arith_old.cpp1733 Theorem thm = d_rules->lessThanToLE(theInequality, isIntLHS, isIntRHS, !isolatedVarOnRHS); in projectInequalities()