Home
last modified time | relevance | path

Searched refs:isDarkShadow (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory_arith.h190 inline bool isDarkShadow(const Expr& e) { return e.getKind() == DARK_SHADOW;} in isDarkShadow() function
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp2034 else if(isDarkShadow(expr)) { in assertFact()
2515 if (e.isNot() || e.isEq() || isDarkShadow(e) || isGrayShadow(e)) return; in setup()
H A Darith_theorem_producer.cpp1857 CHECK_SOUND(isDarkShadow(theShadow), in expandDarkShadow()
H A Darith_theorem_producer3.cpp1814 CHECK_SOUND(isDarkShadow(theShadow), in expandDarkShadow()
H A Darith_theorem_producer_old.cpp2017 CHECK_SOUND(isDarkShadow(theShadow), in expandDarkShadow()
H A Dtheory_arith_old.cpp2506 else if(isDarkShadow(expr)) { in assertFact()