Searched refs:isDarkShadow (Results 1 – 6 of 6) sorted by relevance
190 inline bool isDarkShadow(const Expr& e) { return e.getKind() == DARK_SHADOW;} in isDarkShadow() function
2034 else if(isDarkShadow(expr)) { in assertFact()2515 if (e.isNot() || e.isEq() || isDarkShadow(e) || isGrayShadow(e)) return; in setup()
1857 CHECK_SOUND(isDarkShadow(theShadow), in expandDarkShadow()
1814 CHECK_SOUND(isDarkShadow(theShadow), in expandDarkShadow()
2017 CHECK_SOUND(isDarkShadow(theShadow), in expandDarkShadow()
2506 else if(isDarkShadow(expr)) { in assertFact()