Searched defs:assertQuantifier (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ | ||
| H A D | first_order_model.cpp | 131 void FirstOrderModel::assertQuantifier( Node n ){ in assertQuantifier() function in CVC4::theory::quantifiers::FirstOrderModel |
| /dports/math/cvc4/CVC4-1.7/src/theory/ | ||
| H A D | quantifiers_engine.cpp | 900 void QuantifiersEngine::assertQuantifier( Node f, bool pol ){ in assertQuantifier() function in QuantifiersEngine |