Searched refs:containsTerms (Results 1 – 5 of 5) sorted by relevance
528 return containsTerms( n, t ); in containsVtsTerm()536 if( containsTerms( n[i], t ) ){ in containsVtsTerm()547 return containsTerms( n, t ); in containsVtsInfinity()588 bool TermUtil::containsTerms( Node n, std::vector< Node >& t ) { in containsTerms() function in CVC4::theory::quantifiers::TermUtil
256 static bool containsTerms( Node n, std::vector< Node >& t );
167 else if (quantifiers::TermUtil::containsTerms( in addInstantiation()
1697 if( TermUtil::containsTerms( body[i], args ) ){ in computeMiniscoping()
1116 if( !TermUtil::containsTerms( nretc, vars ) ){ in applySubstitution()