Searched refs:postProcessModel (Results 1 – 11 of 11) sorted by relevance
210 public void postProcessModel(Model model, ErrorHandler errorHandler) { in postProcessModel() method in Plugin
78 void postProcessModel(bool incomplete, Model* m);
534 virtual void postProcessModel( TheoryModel* m ){ } in postProcessModel() function
651 postProcessModel(d_curr_model); in check()653 d_curr_model_builder->postProcessModel(d_incomplete.get(), in check()884 void TheoryEngine::postProcessModel( theory::TheoryModel* m ){ in postProcessModel() function in CVC4::TheoryEngine888 d_theoryTable[theoryId]->postProcessModel( m ); in postProcessModel()
742 void postProcessModel( theory::TheoryModel* m );
824 void TheoryEngineModelBuilder::postProcessModel(bool incomplete, Model* m) in postProcessModel() function in CVC4::theory::TheoryEngineModelBuilder
108 void postProcessModel(TheoryModel* m) override;
217 void TheorySep::postProcessModel( TheoryModel* m ){ in postProcessModel() function in CVC4::theory::sep::TheorySep
171 ma.postProcessModel(model, Ring.get(ErrorReceiver.class)); in _build()