Package tools.refinery.generator

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)

Methods inherited from class tools.refinery.generator.ModelFacadeFactory

cancellationToken, checkCancelled, createModelInitializer, getCancellationToken, isKeepNonExistingObjects, keepNonExistingObjects, keepShadowPredicates

Methods inherited from class java.lang.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)

createGenerator

public ModelGenerator createGenerator(Problem problem)