Searched refs:ModelEngine (Results 1 – 4 of 4) sorted by relevance
38 ModelEngine::ModelEngine( context::Context* c, QuantifiersEngine* qe ) : in ModelEngine() function in ModelEngine48 ModelEngine::~ModelEngine() { in ~ModelEngine()52 bool ModelEngine::needsCheck( Theory::Effort e ) { in needsCheck()65 void ModelEngine::reset_round( Theory::Effort e ) { in reset_round()124 bool ModelEngine::checkComplete() { in checkComplete()128 bool ModelEngine::checkCompleteFor( Node q ) { in checkCompleteFor()132 void ModelEngine::registerQuantifier( Node f ){ in registerQuantifier()156 void ModelEngine::assertNode( Node f ){ in assertNode()160 bool ModelEngine::optOneQuantPerRound(){ in optOneQuantPerRound()165 int ModelEngine::checkModel(){ in checkModel()[all …]
28 class ModelEngine : public QuantifiersModule49 ModelEngine( context::Context* c, QuantifiersEngine* qe );50 virtual ~ModelEngine();
65 class ModelEngine; variable368 std::unique_ptr<quantifiers::ModelEngine> d_model_engine;
204 d_model_engine.reset(new quantifiers::ModelEngine(c, this)); in QuantifiersEngine()