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
ModelSemanticsFactory	concretize(boolean concretize)
ModelSemantics	createSemantics(Problem problem)
protected ModelSemanticsFactory	getSelf()
ModelSemantics	tryCreateSemantics(Problem problem)
ModelSemanticsFactory	withCandidateInterpretations(boolean withCandidateInterpretations)

Methods inherited from class tools.refinery.generator.ModelFacadeFactory

cancellationToken, checkCancelled, createConcreteFacadeArgs, createFacadeArgs, createModelInitializer, getCancellationToken, getDiagnostics, isKeepNonExistingObjects, keepNonExistingObjects, keepShadowPredicates

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>

withCandidateInterpretations

public ModelSemanticsFactory withCandidateInterpretations(boolean withCandidateInterpretations)

concretize

public ModelSemanticsFactory concretize(boolean concretize)

createSemantics

public ModelSemantics createSemantics(Problem problem)

tryCreateSemantics

public ModelSemantics tryCreateSemantics(Problem problem)