Searched refs:QModelBuilder (Results 1 – 7 of 7) sorted by relevance
38 QModelBuilder::QModelBuilder(context::Context* c, QuantifiersEngine* qe) in QModelBuilder() function in QModelBuilder44 bool QModelBuilder::optUseModel() { in optUseModel()48 bool QModelBuilder::preProcessBuildModel(TheoryModel* m) { in preProcessBuildModel()52 bool QModelBuilder::preProcessBuildModelStd(TheoryModel* m) { in preProcessBuildModelStd()99 void QModelBuilder::debugModel( TheoryModel* m ){ in debugModel()
29 class QModelBuilder : public TheoryEngineModelBuilder41 QModelBuilder( context::Context* c, QuantifiersEngine* qe );
82 class FullModelChecker : public QModelBuilder
256 quantifiers::QModelBuilder * mb = d_quantEngine->getModelBuilder(); in exhaustiveInstantiate()
282 QModelBuilder( c, qe ){ in FullModelChecker()
69 class QModelBuilder; variable121 quantifiers::QModelBuilder* getModelBuilder() const;342 std::unique_ptr<quantifiers::QModelBuilder> d_builder;
255 d_builder.reset(new quantifiers::QModelBuilder(c, this)); in QuantifiersEngine()309 quantifiers::QModelBuilder* QuantifiersEngine::getModelBuilder() const in getModelBuilder()