Home
last modified time | relevance | path

Searched refs:d_curr_model (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp235 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 …]
H A Dtheory_engine.h210 theory::TheoryModel* d_curr_model; variable