ModelGenerator (refinery-generator 0.2.0 API)

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 tools.refinery.generator.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)