Searched refs:containsUninterpretedConstant (Results 1 – 4 of 4) sorted by relevance
130 if( r.isConst() && quantifiers::TermUtil::containsUninterpretedConstant( r ) ){ in getInternalRepresentative()
258 static bool containsUninterpretedConstant( Node n );
612 bool TermUtil::containsUninterpretedConstant( Node n ) { in containsUninterpretedConstant() function in CVC4::theory::quantifiers::TermUtil619 if( containsUninterpretedConstant( n[i] ) ){ in containsUninterpretedConstant()
143 if (quantifiers::TermUtil::containsUninterpretedConstant(terms[i])) in addInstantiation()