Searched refs:d_contains (Results 1 – 4 of 4) sorted by relevance
85 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()
46 preprocessing::util::ContainsTermITEVisitor& d_contains; variable
178 ContainsTermITEVisitor* d_contains; variable
294 : 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()