Index
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
- keepShadowPredicates(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.
W
- withCandidateInterpretations(boolean) - Method in class tools.refinery.generator.ModelSemanticsFactory
All Classes and Interfaces|All Packages|Serialized Form