Interface ModelGenerator

All Superinterfaces:

AutoCloseable, ModelFacade

All Known Implementing Classes:

ModelGeneratorImpl

public interface ModelGenerator
extends ModelFacade

Method Summary

Modifier and Type	Method	Description
default void	generate()
default void	generateWithTimeout(long l, TimeUnit timeUnit)
int	getMaxNumberOfSolutions()
long	getRandomSeed()
int	getSolutionCount()
boolean	isLastGenerationSuccessful()
void	loadSolution(int index)
void	setMaxNumberOfSolutions(int maxNumberOfSolutions)
void	setRandomSeed(long randomSeed)
GeneratorResult	tryGenerate()
GeneratorResult	tryGenerateWithTimeout(long l, TimeUnit timeUnit)

Methods inherited from interface ModelFacade

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

Method Details

getRandomSeed

long getRandomSeed()

setRandomSeed

void setRandomSeed(long randomSeed)

getMaxNumberOfSolutions

int getMaxNumberOfSolutions()

setMaxNumberOfSolutions

void setMaxNumberOfSolutions(int maxNumberOfSolutions)

getSolutionCount

int getSolutionCount()

loadSolution

void loadSolution(int index)

isLastGenerationSuccessful

boolean isLastGenerationSuccessful()

tryGenerate

GeneratorResult tryGenerate()

generate

default void generate()

tryGenerateWithTimeout

GeneratorResult tryGenerateWithTimeout(long l,
 TimeUnit timeUnit)

generateWithTimeout

default void generateWithTimeout(long l,
 TimeUnit timeUnit)