Home
last modified time | relevance | path

Searched refs:d_contains (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Darith_ite_utils.cpp85 if(!d_contains.containsTermITE(n)){ in reduceVariablesInItes()
98 if(!d_contains.containsTermITE(n)){ in reduceVariablesInItes()
127 if(!d_contains.containsTermITE(n)){ in reduceVariablesInItes()
147 : d_contains(contains), in ArithIteUtils()
H A Darith_ite_utils.h46 preprocessing::util::ContainsTermITEVisitor& d_contains; variable
/dports/math/cvc4/CVC4-1.7/src/preprocessing/util/
H A Dite_utilities.h178 ContainsTermITEVisitor* d_contains; variable
H A Dite_utilities.cpp294 : d_contains(contains), d_assertions(NULL), d_incoming(true, true) in ITECompressor()
296 Assert(d_contains != NULL); in ITECompressor()
549 Assert(!d_contains->containsTermITE(rewritten)); in compress()