Home
last modified time | relevance | path

Searched refs:postProcessModel (Results 1 – 11 of 11) sorted by relevance

/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jaxws/src/share/jaxws_classes/com/sun/tools/internal/xjc/
H A DPlugin.java210 public void postProcessModel(Model model, ErrorHandler errorHandler) { in postProcessModel() method in Plugin
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jaxws/src/share/jaxws_classes/com/sun/tools/internal/xjc/
H A DPlugin.java210 public void postProcessModel(Model model, ErrorHandler errorHandler) { in postProcessModel() method in Plugin
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_model_builder.h78 void postProcessModel(bool incomplete, Model* m);
H A Dtheory.h534 virtual void postProcessModel( TheoryModel* m ){ } in postProcessModel() function
H A Dtheory_engine.cpp651 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::TheoryEngine
888 d_theoryTable[theoryId]->postProcessModel( m ); in postProcessModel()
H A Dtheory_engine.h742 void postProcessModel( theory::TheoryModel* m );
H A Dtheory_model_builder.cpp824 void TheoryEngineModelBuilder::postProcessModel(bool incomplete, Model* m) in postProcessModel() function in CVC4::theory::TheoryEngineModelBuilder
/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.h108 void postProcessModel(TheoryModel* m) override;
H A Dtheory_sep.cpp217 void TheorySep::postProcessModel( TheoryModel* m ){ in postProcessModel() function in CVC4::theory::sep::TheorySep
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jaxws/src/share/jaxws_classes/com/sun/tools/internal/xjc/reader/xmlschema/
H A DBGMBuilder.java171 ma.postProcessModel(model, Ring.get(ErrorReceiver.class)); in _build()
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jaxws/src/share/jaxws_classes/com/sun/tools/internal/xjc/reader/xmlschema/
H A DBGMBuilder.java171 ma.postProcessModel(model, Ring.get(ErrorReceiver.class)); in _build()