Searched refs:d_curr_model (Results 1 – 2 of 2) sorted by relevance
235 d_curr_model = d_quantEngine->getModel(); in finishInit()237 d_curr_model = new theory::TheoryModel( in finishInit()296 d_curr_model(nullptr), in TheoryEngine()360 delete d_curr_model; in ~TheoryEngine()599 d_curr_model->reset(); in check()605 if( !d_curr_model->isBuilt() ){ in check()643 if (d_curr_model->isBuilt()) in check()651 postProcessModel(d_curr_model); in check()894 return d_curr_model; in getModel()899 if (!d_curr_model->isBuilt()) in getBuiltModel()[all …]
210 theory::TheoryModel* d_curr_model; variable