Package tools.refinery.generator

Class ModelSemanticsFactory

java.lang.Object

tools.refinery.generator.ModelFacadeFactory<ModelSemanticsFactory>

tools.refinery.generator.ModelSemanticsFactory

public final class ModelSemanticsFactory
extends ModelFacadeFactory<ModelSemanticsFactory>

Constructor Summary

Constructors

Constructor	Description
ModelSemanticsFactory()

Method Summary

Modifier and Type	Method	Description
ModelSemantics	createSemantics(Problem problem)
protected ModelSemanticsFactory	getSelf()
ModelSemantics	tryCreateSemantics(Problem problem)

Methods inherited from class tools.refinery.generator.ModelFacadeFactory

cancellationToken, checkCancelled, createModelInitializer, getCancellationToken, isKeepNonExistingObjects, keepNonExistingObjects

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ModelSemanticsFactory

public ModelSemanticsFactory()

Method Details

getSelf

protected ModelSemanticsFactory getSelf()

Specified by:

getSelf in class ModelFacadeFactory<ModelSemanticsFactory>

createSemantics

public ModelSemantics createSemantics(Problem problem)

tryCreateSemantics

public ModelSemantics tryCreateSemantics(Problem problem)