Package tools.refinery.generator

Class ModelGenerator

java.lang.Object
tools.refinery.generator.ModelFacade
tools.refinery.generator.ModelGenerator
public class ModelGenerator extends ModelFacade

  • Method Details

    • getRandomSeed

      public long getRandomSeed()

    • setRandomSeed

      public void setRandomSeed(long randomSeed)

    • getMaxNumberOfSolutions

      public int getMaxNumberOfSolutions()

    • setMaxNumberOfSolutions

      public void setMaxNumberOfSolutions(int maxNumberOfSolutions)

    • getSolutionCount

      public int getSolutionCount()

    • loadSolution

      public void loadSolution(int index)

    • isLastGenerationSuccessful

      public boolean isLastGenerationSuccessful()

    • tryGenerate

      public GeneratorResult tryGenerate()

    • generate

      public void generate()

    • tryGenerateWithTimeout

      public GeneratorResult tryGenerateWithTimeout(long l, TimeUnit timeUnit)

    • generateWithTimeout

      public void generateWithTimeout(long l, TimeUnit timeUnit)

    • getPartialInterpretation

      public <A extends AbstractValue<A, C>, C> PartialInterpretation<A,C> getPartialInterpretation(PartialSymbol<A,C> partialSymbol)
      Overrides:
      getPartialInterpretation in class ModelFacade

    • serializeSolution

      public Problem serializeSolution()