Class ModelGeneratorImpl

java.lang.Object

tools.refinery.generator.impl.ModelFacadeImpl

tools.refinery.generator.impl.ConcreteModelFacade

tools.refinery.generator.impl.ModelGeneratorImpl

All Implemented Interfaces:

AutoCloseable, ModelFacade, ModelGenerator

public class ModelGeneratorImpl
extends ConcreteModelFacade
implements ModelGenerator

Nested Class Summary

Nested classes/interfaces inherited from class ConcreteModelFacade

ConcreteModelFacade.Args

Constructor Summary

Constructors

Constructor	Description
ModelGeneratorImpl(ConcreteModelFacade.Args args, CancellableCancellationToken cancellationToken)

Method Summary

Modifier and Type	Method	Description
int	getMaxNumberOfSolutions()
<A extends AbstractValue<A,C>, C> PartialInterpretation<A,C>	getPartialInterpretation(PartialSymbol<A,C> partialSymbol)
long	getRandomSeed()
int	getSolutionCount()
boolean	isLastGenerationSuccessful()
void	loadSolution(int index)
Problem	serialize()
void	setMaxNumberOfSolutions(int maxNumberOfSolutions)
void	setRandomSeed(long randomSeed)
GeneratorResult	tryGenerate()
GeneratorResult	tryGenerateWithTimeout(long l, TimeUnit timeUnit)

Methods inherited from class ConcreteModelFacade

getConcreteness, getSolutionSerializer

Methods inherited from class ModelFacadeImpl

afterPropagation, checkConsistency, close, getDiagnostics, getInitializationResult, getMetadataCreator, getModel, getModelStore, getNodesMetadata, getProblemTrace, getRelationsMetadata, throwIfInitializationFailed, trySerialize

Methods inherited from class Object

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

Methods inherited from interface ModelFacade

checkConsistency, close, getConcreteness, getInitializationResult, getModel, getModelStore, getNodesMetadata, getPartialInterpretation, getProblemTrace, getRelationsMetadata, throwIfInitializationFailed, trySerialize

Methods inherited from interface ModelGenerator

generate, generateWithTimeout

Constructor Details

ModelGeneratorImpl

public ModelGeneratorImpl(ConcreteModelFacade.Args args,
 CancellableCancellationToken cancellationToken)

Method Details

getRandomSeed

public long getRandomSeed()

Specified by:

getRandomSeed in interface ModelGenerator

setRandomSeed

public void setRandomSeed(long randomSeed)

Specified by:

setRandomSeed in interface ModelGenerator

getMaxNumberOfSolutions

public int getMaxNumberOfSolutions()

Specified by:

getMaxNumberOfSolutions in interface ModelGenerator

setMaxNumberOfSolutions

public void setMaxNumberOfSolutions(int maxNumberOfSolutions)

Specified by:

setMaxNumberOfSolutions in interface ModelGenerator

getSolutionCount

public int getSolutionCount()

Specified by:

getSolutionCount in interface ModelGenerator

loadSolution

public void loadSolution(int index)

Specified by:

loadSolution in interface ModelGenerator

isLastGenerationSuccessful

public boolean isLastGenerationSuccessful()

Specified by:

isLastGenerationSuccessful in interface ModelGenerator

tryGenerate

public GeneratorResult tryGenerate()

Specified by:

tryGenerate in interface ModelGenerator

tryGenerateWithTimeout

public GeneratorResult tryGenerateWithTimeout(long l,
 TimeUnit timeUnit)

Specified by:

tryGenerateWithTimeout in interface ModelGenerator

getPartialInterpretation

public <A extends AbstractValue<A,C>, C>
PartialInterpretation<A,C> getPartialInterpretation(PartialSymbol<A,C> partialSymbol)

Specified by:

getPartialInterpretation in interface ModelFacade

Overrides:

getPartialInterpretation in class ConcreteModelFacade

serialize

public Problem serialize()

Specified by:

serialize in interface ModelFacade

Overrides:

serialize in class ConcreteModelFacade