Searched refs:TheoryEngineModelBuilder (Results 1 – 8 of 8) sorted by relevance
29 TheoryEngineModelBuilder::TheoryEngineModelBuilder(TheoryEngine* te) : d_te(te) in TheoryEngineModelBuilder() function in CVC4::theory::TheoryEngineModelBuilder33 bool TheoryEngineModelBuilder::isAssignable(TNode n) in isAssignable()79 void TheoryEngineModelBuilder::addAssignableSubterms(TNode n, in addAssignableSubterms()102 void TheoryEngineModelBuilder::assignConstantRep(TheoryModel* tm, in assignConstantRep()112 bool TheoryEngineModelBuilder::isExcludedCdtValue( in isExcludedCdtValue()144 bool TheoryEngineModelBuilder::isCdtValueMatch(Node v, in isCdtValueMatch()184 bool TheoryEngineModelBuilder::involvesUSort(TypeNode tn) in involvesUSort()210 bool TheoryEngineModelBuilder::isExcludedUSortValue( in isExcludedUSortValue()242 void TheoryEngineModelBuilder::addToTypeList( in addToTypeList()284 bool TheoryEngineModelBuilder::buildModel(Model* m) in buildModel()[all …]
41 class TheoryEngineModelBuilder : public ModelBuilder47 TheoryEngineModelBuilder(TheoryEngine* te);48 virtual ~TheoryEngineModelBuilder() {} in ~TheoryEngineModelBuilder()
87 class TheoryEngineModelBuilder; variable215 theory::TheoryEngineModelBuilder* d_curr_model_builder;782 theory::TheoryEngineModelBuilder* getModelBuilder() { return d_curr_model_builder; } in getModelBuilder()
80 friend class TheoryEngineModelBuilder; variable
243 d_curr_model_builder = new theory::TheoryEngineModelBuilder(this); in finishInit()
29 class QModelBuilder : public TheoryEngineModelBuilder
39 : TheoryEngineModelBuilder(qe->getTheoryEngine()), in QModelBuilder()
513 return TheoryEngineModelBuilder::processBuildModel( m ); in processBuildModel()