Searched refs:getModelBuilder (Results 1 – 5 of 5) sorted by relevance
309 quantifiers::QModelBuilder* QuantifiersEngine::getModelBuilder() const in getModelBuilder() function in QuantifiersEngine477 if (!d_te->getModelBuilder()->buildModel(d_model.get())) in check()641 Assert(!getModelBuilder() in check()642 || getModelBuilder() == d_te->getModelBuilder()); in check()644 if (!d_te->getModelBuilder()->buildModel(d_model.get())) in check()
121 quantifiers::QModelBuilder* getModelBuilder() const;
782 theory::TheoryEngineModelBuilder* getModelBuilder() { return d_curr_model_builder; } in getModelBuilder() function
234 d_curr_model_builder = d_quantEngine->getModelBuilder(); in finishInit()
256 quantifiers::QModelBuilder * mb = d_quantEngine->getModelBuilder(); in exhaustiveInstantiate()