Index

C D E F G I K L M O P S T U V
All Classes and Interfaces|All Packages|Serialized Form

C

cancellationToken(CancellationToken) - Method in class tools.refinery.generator.ModelFacadeFactory

cancellationToken(CancellationToken) - Method in class tools.refinery.generator.ProblemLoader

checkCancelled() - Method in class tools.refinery.generator.ModelFacadeFactory

createGenerator(Problem) - Method in class tools.refinery.generator.ModelGeneratorFactory

createModelInitializer() - Method in class tools.refinery.generator.ModelFacadeFactory

createSemantics(Problem) - Method in class tools.refinery.generator.ModelSemanticsFactory

D

debugPartialInterpretations(boolean) - Method in class tools.refinery.generator.ModelGeneratorFactory

E

extraPath(String) - Method in class tools.refinery.generator.ProblemLoader

extraPath(Path) - Method in class tools.refinery.generator.ProblemLoader

F

FilteredInterpretation<A,C> - Class in tools.refinery.generator

FilteredInterpretation(PartialInterpretation<A, C>, PartialInterpretation<TruthValue, Boolean>) - Constructor for class tools.refinery.generator.FilteredInterpretation

G

generate() - Method in class tools.refinery.generator.ModelGenerator

generateWithTimeout(long, TimeUnit) - Method in class tools.refinery.generator.ModelGenerator

GeneratorResult - Enum Class in tools.refinery.generator

GeneratorTimeoutException - Exception Class in tools.refinery.generator

GeneratorTimeoutException() - Constructor for exception class tools.refinery.generator.GeneratorTimeoutException

get(Tuple) - Method in class tools.refinery.generator.FilteredInterpretation

getAdapter() - Method in class tools.refinery.generator.FilteredInterpretation

getAll() - Method in class tools.refinery.generator.FilteredInterpretation

getCancellationToken() - Method in class tools.refinery.generator.ModelFacadeFactory

getConcreteness() - Method in class tools.refinery.generator.FilteredInterpretation

getConcreteness() - Method in class tools.refinery.generator.ModelFacade

getErrors() - Method in exception class tools.refinery.generator.ValidationErrorsException

getErrorStrings() - Method in exception class tools.refinery.generator.ValidationErrorsException

getGeneratorFactory() - Static method in class tools.refinery.generator.standalone.StandaloneRefinery

getInjector() - Static method in class tools.refinery.generator.standalone.StandaloneRefinery

getInstance(Class<T>) - Static method in class tools.refinery.generator.standalone.StandaloneRefinery

getMaxNumberOfSolutions() - Method in class tools.refinery.generator.ModelGenerator

getMessage() - Method in exception class tools.refinery.generator.ValidationErrorsException

getModel() - Method in class tools.refinery.generator.ModelFacade

getModelStore() - Method in class tools.refinery.generator.ModelFacade

getPartialInterpretation(PartialSymbol<A, C>) - Method in class tools.refinery.generator.ModelFacade

getPartialInterpretation(PartialSymbol<A, C>) - Method in class tools.refinery.generator.ModelGenerator

getPartialSymbol() - Method in class tools.refinery.generator.FilteredInterpretation

getProblemLoader() - Static method in class tools.refinery.generator.standalone.StandaloneRefinery

getProblemTrace() - Method in class tools.refinery.generator.ModelFacade

getPropagationResult() - Method in class tools.refinery.generator.ModelFacade

getRandomSeed() - Method in class tools.refinery.generator.ModelGenerator

getResourceUri() - Method in exception class tools.refinery.generator.ValidationErrorsException

getResourceUriString() - Method in exception class tools.refinery.generator.ValidationErrorsException

getSelf() - Method in class tools.refinery.generator.ModelFacadeFactory

getSelf() - Method in class tools.refinery.generator.ModelGeneratorFactory

getSelf() - Method in class tools.refinery.generator.ModelSemanticsFactory

getSemanticsFactory() - Static method in class tools.refinery.generator.standalone.StandaloneRefinery

getSolutionCount() - Method in class tools.refinery.generator.ModelGenerator

I

isKeepNonExistingObjects() - Method in class tools.refinery.generator.ModelFacadeFactory

isLastGenerationSuccessful() - Method in class tools.refinery.generator.ModelGenerator

K

keepNonExistingObjects(boolean) - Method in class tools.refinery.generator.ModelFacadeFactory

L

loadFile(File) - Method in class tools.refinery.generator.ProblemLoader

loadFile(String) - Method in class tools.refinery.generator.ProblemLoader

loadResource(Resource) - Method in class tools.refinery.generator.ProblemLoader

loadScopeConstraints(Problem, List<String>, List<String>) - Method in class tools.refinery.generator.ProblemLoader

loadSolution(int) - Method in class tools.refinery.generator.ModelGenerator

loadStream(InputStream) - Method in class tools.refinery.generator.ProblemLoader

loadStream(InputStream, URI) - Method in class tools.refinery.generator.ProblemLoader

loadString(String) - Method in class tools.refinery.generator.ProblemLoader

loadString(String, URI) - Method in class tools.refinery.generator.ProblemLoader

loadUri(URI) - Method in class tools.refinery.generator.ProblemLoader

M

ModelFacade - Class in tools.refinery.generator

ModelFacade(ProblemTrace, ModelStore, ModelSeed, Concreteness) - Constructor for class tools.refinery.generator.ModelFacade

ModelFacadeFactory<T> - Class in tools.refinery.generator

ModelFacadeFactory() - Constructor for class tools.refinery.generator.ModelFacadeFactory

ModelGenerator - Class in tools.refinery.generator

ModelGeneratorFactory - Class in tools.refinery.generator

ModelGeneratorFactory() - Constructor for class tools.refinery.generator.ModelGeneratorFactory

ModelSemantics - Class in tools.refinery.generator

ModelSemanticsFactory - Class in tools.refinery.generator

ModelSemanticsFactory() - Constructor for class tools.refinery.generator.ModelSemanticsFactory

O

orThrow() - Method in enum class tools.refinery.generator.GeneratorResult

P

partialInterpretationBasedNeighborhoods(boolean) - Method in class tools.refinery.generator.ModelGeneratorFactory

ProblemLoader - Class in tools.refinery.generator

ProblemLoader() - Constructor for class tools.refinery.generator.ProblemLoader

S

serializeSolution() - Method in class tools.refinery.generator.ModelGenerator

setFileExtensionProvider(FileExtensionProvider) - Method in class tools.refinery.generator.ProblemLoader

setMaxNumberOfSolutions(int) - Method in class tools.refinery.generator.ModelGenerator

setRandomSeed(long) - Method in class tools.refinery.generator.ModelGenerator

StandaloneRefinery - Class in tools.refinery.generator.standalone

stateCoderDepth(int) - Method in class tools.refinery.generator.ModelGeneratorFactory

SUCCESS - Enum constant in enum class tools.refinery.generator.GeneratorResult

T

TIMEOUT - Enum constant in enum class tools.refinery.generator.GeneratorResult

tools.refinery.generator - package tools.refinery.generator

tools.refinery.generator.standalone - package tools.refinery.generator.standalone

tryCreateSemantics(Problem) - Method in class tools.refinery.generator.ModelSemanticsFactory

tryGenerate() - Method in class tools.refinery.generator.ModelGenerator

tryGenerateWithTimeout(long, TimeUnit) - Method in class tools.refinery.generator.ModelGenerator

U

UNSATISFIABLE - Enum constant in enum class tools.refinery.generator.GeneratorResult

UnsatisfiableProblemException - Exception Class in tools.refinery.generator

UnsatisfiableProblemException() - Constructor for exception class tools.refinery.generator.UnsatisfiableProblemException

V

ValidationErrorsException - Exception Class in tools.refinery.generator

ValidationErrorsException(URI, List<Issue>) - Constructor for exception class tools.refinery.generator.ValidationErrorsException

valueOf(String) - Static method in enum class tools.refinery.generator.GeneratorResult

Returns the enum constant of this class with the specified name.

values() - Static method in enum class tools.refinery.generator.GeneratorResult

Returns an array containing the constants of this enum class, in the order they are declared.

C D E F G I K L M O P S T U V
All Classes and Interfaces|All Packages|Serialized Form