Index

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

A

afterPropagation(ModelFacadeResult) - Method in class tools.refinery.generator.impl.ConcreteModelSemantics

afterPropagation(ModelFacadeResult) - Method in class tools.refinery.generator.impl.ModelFacadeImpl

C

cancel() - Method in class tools.refinery.generator.impl.CancellableCancellationToken

CancellableCancellationToken - Class in tools.refinery.generator.impl

CancellableCancellationToken(CancellationToken) - Constructor for class tools.refinery.generator.impl.CancellableCancellationToken

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.impl.CancellableCancellationToken

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

checkConsistency() - Method in class tools.refinery.generator.impl.ModelFacadeImpl

checkConsistency() - Method in interface tools.refinery.generator.ModelFacade

ConcreteModelFacade - Class in tools.refinery.generator.impl

ConcreteModelFacade(ProblemTrace, ModelStore, ModelSeed, Provider<SolutionSerializer>, Provider<MetadataCreator>, boolean) - Constructor for class tools.refinery.generator.impl.ConcreteModelFacade

ConcreteModelSemantics - Class in tools.refinery.generator.impl

ConcreteModelSemantics(ProblemTrace, ModelStore, ModelSeed, Provider<SolutionSerializer>, Provider<MetadataCreator>, boolean) - Constructor for class tools.refinery.generator.impl.ConcreteModelSemantics

ConcretizationRejected(PropagationRejectedResult) - Constructor for record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

Creates an instance of a ConcretizationRejected record class.

concretizationResult() - Method in record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

Returns the value of the concretizationResult record component.

concretize(boolean) - Method in class tools.refinery.generator.ModelSemanticsFactory

ConsistencyCheckResult - Record Class in tools.refinery.generator

ConsistencyCheckResult(ModelFacade, List<ConsistencyCheckResult.AnyError>) - Constructor for record class tools.refinery.generator.ConsistencyCheckResult

Creates an instance of a ConsistencyCheckResult record class.

ConsistencyCheckResult.AnyError - Interface in tools.refinery.generator

ConsistencyCheckResult.Error<A,C> - Record Class in tools.refinery.generator

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

equals(Object) - Method in record class tools.refinery.generator.ConsistencyCheckResult

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.generator.ConsistencyCheckResult.Error

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

Indicates whether some other object is "equal to" this one.

Error(PartialSymbol<A, C>, Tuple, A) - Constructor for record class tools.refinery.generator.ConsistencyCheckResult.Error

Creates an instance of a Error record class.

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

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

F

facade() - Method in record class tools.refinery.generator.ConsistencyCheckResult

Returns the value of the facade record component.

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

formatMessage() - Method in record class tools.refinery.generator.ConsistencyCheckResult

formatMessage() - Method in record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

formatMessage() - Method in record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

formatMessage() - Method in interface tools.refinery.generator.ModelFacadeResult.Rejected

G

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

generateWithTimeout(long, TimeUnit) - Method in interface 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.impl.FilteredInterpretation

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

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

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

getConcreteness() - Method in class tools.refinery.generator.impl.ConcreteModelFacade

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

getConcreteness() - Method in class tools.refinery.generator.impl.ModelSemanticsImpl

getConcreteness() - Method in interface 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

getInitializationResult() - Method in class tools.refinery.generator.impl.ModelFacadeImpl

getInitializationResult() - Method in interface tools.refinery.generator.ModelFacade

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.impl.ModelGeneratorImpl

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

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

getMetadataCreator() - Method in class tools.refinery.generator.impl.ConcreteModelSemantics

getMetadataCreator() - Method in class tools.refinery.generator.impl.ModelFacadeImpl

getMetadataCreator() - Method in class tools.refinery.generator.impl.ModelSemanticsImpl

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

getModel() - Method in class tools.refinery.generator.impl.ModelFacadeImpl

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

getModelStore() - Method in class tools.refinery.generator.impl.ModelFacadeImpl

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

getNodesMetadata() - Method in class tools.refinery.generator.impl.ModelFacadeImpl

getNodesMetadata() - Method in interface tools.refinery.generator.ModelFacade

getPartialInterpretation(AnyPartialSymbol) - Method in interface tools.refinery.generator.ModelFacade

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

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

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

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

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

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

getProblemTrace() - Method in class tools.refinery.generator.impl.ModelFacadeImpl

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

getRandomSeed() - Method in class tools.refinery.generator.impl.ModelGeneratorImpl

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

getRelationsMetadata() - Method in class tools.refinery.generator.impl.ModelFacadeImpl

getRelationsMetadata() - Method in interface tools.refinery.generator.ModelFacade

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.impl.ModelGeneratorImpl

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

getSolutionSerializer() - Method in class tools.refinery.generator.impl.ConcreteModelFacade

getSolutionSerializer() - Method in class tools.refinery.generator.impl.ConcreteModelSemantics

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

H

hashCode() - Method in record class tools.refinery.generator.ConsistencyCheckResult.Error

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.generator.ConsistencyCheckResult

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

Returns a hash code value for this object.

I

inconsistencies() - Method in record class tools.refinery.generator.ConsistencyCheckResult

Returns the value of the inconsistencies record component.

isCancelled() - Method in class tools.refinery.generator.impl.CancellableCancellationToken

isConcretizationRejected() - Method in record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

isConcretizationRejected() - Method in interface tools.refinery.generator.ModelFacadeResult

isConcretizationRejected() - Method in record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

isConcretizationRejected() - Method in class tools.refinery.generator.ModelFacadeResult.Success

isConsistent() - Method in record class tools.refinery.generator.ConsistencyCheckResult

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

isLastGenerationSuccessful() - Method in class tools.refinery.generator.impl.ModelGeneratorImpl

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

isPropagationRejected() - Method in record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

isPropagationRejected() - Method in interface tools.refinery.generator.ModelFacadeResult

isPropagationRejected() - Method in record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

isPropagationRejected() - Method in class tools.refinery.generator.ModelFacadeResult.Success

isRejected() - Method in interface tools.refinery.generator.ModelFacadeResult

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.impl.ModelGeneratorImpl

loadSolution(int) - Method in interface 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 - Interface in tools.refinery.generator

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

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

ModelFacadeImpl - Class in tools.refinery.generator.impl

ModelFacadeImpl(ProblemTrace, ModelStore, ModelSeed, Provider<MetadataCreator>) - Constructor for class tools.refinery.generator.impl.ModelFacadeImpl

ModelFacadeResult - Interface in tools.refinery.generator

ModelFacadeResult.ConcretizationRejected - Record Class in tools.refinery.generator

ModelFacadeResult.PropagationRejected - Record Class in tools.refinery.generator

ModelFacadeResult.Rejected - Interface in tools.refinery.generator

ModelFacadeResult.Success - Class in tools.refinery.generator

ModelGenerator - Interface in tools.refinery.generator

ModelGeneratorFactory - Class in tools.refinery.generator

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

ModelGeneratorImpl - Class in tools.refinery.generator.impl

ModelGeneratorImpl(ProblemTrace, ModelStore, ModelSeed, Provider<SolutionSerializer>, Provider<MetadataCreator>, CancellableCancellationToken, boolean) - Constructor for class tools.refinery.generator.impl.ModelGeneratorImpl

ModelSemantics - Interface in tools.refinery.generator

ModelSemanticsFactory - Class in tools.refinery.generator

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

ModelSemanticsImpl - Class in tools.refinery.generator.impl

ModelSemanticsImpl(ProblemTrace, ModelStore, ModelSeed, Provider<MetadataCreator>) - Constructor for class tools.refinery.generator.impl.ModelSemanticsImpl

O

of(PartialInterpretation<A, C>, PartialInterpretation<TruthValue, Boolean>) - Static method in class tools.refinery.generator.impl.FilteredInterpretation

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

P

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

partialSymbol() - Method in interface tools.refinery.generator.ConsistencyCheckResult.AnyError

partialSymbol() - Method in record class tools.refinery.generator.ConsistencyCheckResult.Error

Returns the value of the partialSymbol record component.

ProblemLoader - Class in tools.refinery.generator

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

PropagationRejected(PropagationRejectedResult) - Constructor for record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

Creates an instance of a PropagationRejected record class.

propagationResult() - Method in record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

Returns the value of the propagationResult record component.

R

reason() - Method in record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

reason() - Method in record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

reason() - Method in interface tools.refinery.generator.ModelFacadeResult.Rejected

reset() - Method in class tools.refinery.generator.impl.CancellableCancellationToken

S

serialize() - Method in class tools.refinery.generator.impl.ConcreteModelFacade

serialize() - Method in class tools.refinery.generator.impl.ConcreteModelSemantics

serialize() - Method in class tools.refinery.generator.impl.ModelGeneratorImpl

serialize() - Method in class tools.refinery.generator.impl.ModelSemanticsImpl

serialize() - Method in interface tools.refinery.generator.ModelFacade

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

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

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

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

setRandomSeed(long) - Method in interface 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

SUCCESS - Static variable in interface tools.refinery.generator.ModelFacadeResult

T

throwIfInconsistent() - Method in record class tools.refinery.generator.ConsistencyCheckResult

throwIfRejected() - Method in interface tools.refinery.generator.ModelFacadeResult.Rejected

throwIfRejected() - Method in class tools.refinery.generator.ModelFacadeResult.Success

throwIfRejected() - Method in interface tools.refinery.generator.ModelFacadeResult

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

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

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

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

toString() - Method in record class tools.refinery.generator.ConsistencyCheckResult.Error

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.generator.ConsistencyCheckResult

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.generator.ModelFacadeResult.ConcretizationRejected

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.generator.ModelFacadeResult.PropagationRejected

Returns a string representation of this record class.

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

tryGenerate() - Method in class tools.refinery.generator.impl.ModelGeneratorImpl

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

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

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

tuple() - Method in interface tools.refinery.generator.ConsistencyCheckResult.AnyError

tuple() - Method in record class tools.refinery.generator.ConsistencyCheckResult.Error

Returns the value of the tuple record component.

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

value() - Method in record class tools.refinery.generator.ConsistencyCheckResult.Error

Returns the value of the value record component.

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

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