Searched defs:withinQuant (Results 1 – 2 of 2) sorted by relevance
184 bool withinQuant, in addTerm()429 bool withinQuant, in addTermHo()
932 void QuantifiersEngine::addTermToDatabase( Node n, bool withinQuant, bool withinInstClosure ){ in addTermToDatabase()