Searched refs:containsVtsTerm (Results 1 – 4 of 4) sorted by relevance
219 bool containsVtsTerm( Node n, bool isFree = false );221 bool containsVtsTerm( std::vector< Node >& n, bool isFree = false );
467 if( containsVtsTerm( slv ) ){ in rewriteVtsSymbols()525 bool TermUtil::containsVtsTerm( Node n, bool isFree ) { in containsVtsTerm() function in CVC4::theory::quantifiers::TermUtil531 bool TermUtil::containsVtsTerm( std::vector< Node >& n, bool isFree ) { in containsVtsTerm() function in CVC4::theory::quantifiers::TermUtil
633 bool used_vts = d_quantEngine->getTermUtil()->containsVtsTerm( subs, false ); in doAddInstantiation()
422 if( d_qe->getTermUtil()->containsVtsTerm( lem ) ){ in doAddInstantiation()