Searched refs:containsTerms2 (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | term_util.cpp | 563 bool TermUtil::containsTerms2( Node n, std::vector< Node >& t, std::map< Node, bool >& visited ) { in containsTerms2() function in CVC4::theory::quantifiers::TermUtil
572 if (containsTerms2(n.getOperator(), t, visited)) in containsTerms2()
579 if (containsTerms2(nc, t, visited)) in containsTerms2()
593 return containsTerms2( n, t, visited ); in containsTerms()
|
| H A D | term_util.h | 231 static bool containsTerms2( Node n, std::vector< Node >& t, std::map< Node, bool >& visited );
|