Searched refs:isEvaluationPoint (Results 1 – 3 of 3) sorted by relevance
359 if (lem[i].isConst() && d_tds->isEvaluationPoint(lem[1 - i])) in addRefinementLemmaConjunct()371 if (d_tds->isEvaluationPoint(term)) in addRefinementLemmaConjunct()
299 bool isEvaluationPoint(Node n) const;
1666 bool TermDbSygus::isEvaluationPoint(Node n) const in isEvaluationPoint() function in CVC4::theory::quantifiers::TermDbSygus