Package tools.refinery.generator
Class ModelGenerator
java.lang.Object
tools.refinery.generator.ModelFacade
tools.refinery.generator.ModelGenerator
-
Method Summary
Modifier and TypeMethodDescriptionvoid
generate()
void
generateWithTimeout
(long l, TimeUnit timeUnit) int
<A extends AbstractValue<A,
C>, C>
PartialInterpretation<A, C> getPartialInterpretation
(PartialSymbol<A, C> partialSymbol) long
int
boolean
void
loadSolution
(int index) void
setMaxNumberOfSolutions
(int maxNumberOfSolutions) void
setRandomSeed
(long randomSeed) tryGenerateWithTimeout
(long l, TimeUnit timeUnit) Methods inherited from class tools.refinery.generator.ModelFacade
getConcreteness, getModel, getModelStore, getProblemTrace, getPropagationResult
-
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
-
generate
public void generate() -
tryGenerateWithTimeout
-
generateWithTimeout
-
getPartialInterpretation
public <A extends AbstractValue<A,C>, PartialInterpretation<A,C> C> getPartialInterpretation(PartialSymbol<A, C> partialSymbol) - Overrides:
getPartialInterpretation
in classModelFacade
-
serializeSolution
-