Searched refs:d_curr_model_builder (Results 1 – 2 of 2) sorted by relevance
234 d_curr_model_builder = d_quantEngine->getModelBuilder(); in finishInit()242 if( d_curr_model_builder==NULL ){ in finishInit()243 d_curr_model_builder = new theory::TheoryEngineModelBuilder(this); in finishInit()298 d_curr_model_builder(nullptr), in TheoryEngine()357 delete d_curr_model_builder; in ~TheoryEngine()606 if( !d_curr_model_builder->buildModel(d_curr_model) ){ in check()630 d_curr_model_builder->buildModel(d_curr_model); in check()653 d_curr_model_builder->postProcessModel(d_incomplete.get(), in check()905 d_curr_model_builder->buildModel(d_curr_model); in getBuiltModel()
215 theory::TheoryEngineModelBuilder* d_curr_model_builder; variable782 theory::TheoryEngineModelBuilder* getModelBuilder() { return d_curr_model_builder; } in getModelBuilder()