Class ModelGeneratorFactory

java.lang.Object

tools.refinery.generator.ModelFacadeFactory<ModelGeneratorFactory>

tools.refinery.generator.ModelGeneratorFactory

public final class ModelGeneratorFactory
extends ModelFacadeFactory<ModelGeneratorFactory>

Constructor Summary

Constructors

Constructor	Description
ModelGeneratorFactory()

Method Summary

Modifier and Type	Method	Description
ModelGenerator	createGenerator(Problem problem)
ModelGeneratorFactory	debugPartialInterpretations(boolean debugPartialInterpretations)
protected ModelGeneratorFactory	getSelf()
ModelGeneratorFactory	partialInterpretationBasedNeighborhoods(boolean partialInterpretationBasedNeighborhoods)
ModelGeneratorFactory	stateCoderDepth(int stateCoderDepth)
ModelGenerator	tryCreateGenerator(Problem problem)

Methods inherited from class ModelFacadeFactory

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

Methods inherited from class Object

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

Constructor Details

ModelGeneratorFactory

public ModelGeneratorFactory()

Method Details

getSelf

protected ModelGeneratorFactory getSelf()

Specified by:

getSelf in class ModelFacadeFactory<ModelGeneratorFactory>

debugPartialInterpretations

public ModelGeneratorFactory debugPartialInterpretations(boolean debugPartialInterpretations)

partialInterpretationBasedNeighborhoods

public ModelGeneratorFactory partialInterpretationBasedNeighborhoods(boolean partialInterpretationBasedNeighborhoods)

stateCoderDepth

public ModelGeneratorFactory stateCoderDepth(int stateCoderDepth)

tryCreateGenerator

public ModelGenerator tryCreateGenerator(Problem problem)

createGenerator

public ModelGenerator createGenerator(Problem problem)