Searched defs:getModelBuilder (Results 1 – 2 of 2) sorted by relevance
782 theory::TheoryEngineModelBuilder* getModelBuilder() { return d_curr_model_builder; } in getModelBuilder() function
309 quantifiers::QModelBuilder* QuantifiersEngine::getModelBuilder() const in getModelBuilder() function in QuantifiersEngine