Searched defs:containsTermITE (Results 1 – 3 of 3) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/preprocessing/util/ | ||
H A D | ite_utilities.h | 88 bool containsTermITE(TNode n) in containsTermITE() function |
H A D | ite_utilities.cpp | 173 bool ContainsTermITEVisitor::containsTermITE(TNode e) in containsTermITE() function in CVC4::preprocessing::util::ContainsTermITEVisitor |
/dports/math/cvc3/cvc3-2.4.1/src/expr/ | ||
H A D | expr.cpp | 525 bool Expr::containsTermITE() const in containsTermITE() function in CVC3::Expr |