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|Constant Field Values|Serialized Form

A

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

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

Args(ModelFacadeImpl.Args, Provider<SolutionSerializer>, boolean) - Constructor for record class tools.refinery.generator.impl.ConcreteModelFacade.Args

Creates an instance of a Args record class.

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

Creates an instance of a Args record class.

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(ConcreteModelFacade.Args) - Constructor for class tools.refinery.generator.impl.ConcreteModelFacade

ConcreteModelFacade.Args - Record Class in tools.refinery.generator.impl

ConcreteModelSemantics - Class in tools.refinery.generator.impl

ConcreteModelSemantics(ConcreteModelFacade.Args) - Constructor for class tools.refinery.generator.impl.ConcreteModelSemantics

CONCRETIZATION_ERROR - Static variable in class tools.refinery.generator.RefineryDiagnostics

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

convertIssues(ModelFacadeResult.Rejected, ProblemTrace) - Method in class tools.refinery.generator.RefineryDiagnostics

createConcreteFacadeArgs(ModelInitializer, ModelStoreBuilder) - Method in class tools.refinery.generator.ModelFacadeFactory

createFacadeArgs(ModelInitializer, ModelStoreBuilder) - Method in class tools.refinery.generator.ModelFacadeFactory

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

createModelFacadeResultException(ModelFacadeResult.Rejected, ProblemTrace) - Method in class tools.refinery.generator.RefineryDiagnostics

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

DEFAULT_MESSAGE - Static variable in exception class tools.refinery.generator.UnsatisfiableProblemException

diagnostics() - Method in record class tools.refinery.generator.impl.ModelFacadeImpl.Args

Returns the value of the diagnostics record component.

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.impl.ConcreteModelFacade.Args

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

equals(Object) - Method in record class tools.refinery.generator.impl.ModelFacadeImpl.Args

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.

facadeArgs() - Method in record class tools.refinery.generator.impl.ConcreteModelFacade.Args

Returns the value of the facadeArgs 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

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

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

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

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.InvalidProblemException

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

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.InvalidProblemException

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

getShortMessage() - Method in exception class tools.refinery.generator.InvalidProblemException

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

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.impl.ConcreteModelFacade.Args

Returns a hash code value for this object.

hashCode() - Method in record class tools.refinery.generator.impl.ModelFacadeImpl.Args

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.

InvalidProblemException - Exception Class in tools.refinery.generator

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

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

InvalidScopeConstraintException - Exception Class in tools.refinery.generator

InvalidScopeConstraintException(String) - Constructor for exception class tools.refinery.generator.InvalidScopeConstraintException

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() - Method in record class tools.refinery.generator.impl.ConcreteModelFacade.Args

Returns the value of the keepNonExistingObjects record component.

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

metadataCreatorProvider() - Method in record class tools.refinery.generator.impl.ModelFacadeImpl.Args

Returns the value of the metadataCreatorProvider record component.

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(ModelFacadeImpl.Args) - Constructor for class tools.refinery.generator.impl.ModelFacadeImpl

ModelFacadeImpl.Args - Record Class in tools.refinery.generator.impl

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(ConcreteModelFacade.Args, CancellableCancellationToken) - Constructor for class tools.refinery.generator.impl.ModelGeneratorImpl

modelSeed() - Method in record class tools.refinery.generator.impl.ModelFacadeImpl.Args

Returns the value of the modelSeed record component.

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(ModelFacadeImpl.Args) - 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

problemTrace() - Method in record class tools.refinery.generator.impl.ModelFacadeImpl.Args

Returns the value of the problemTrace record component.

PROPAGATION_ERROR - Static variable in class tools.refinery.generator.RefineryDiagnostics

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

RefineryDiagnostics - Class in tools.refinery.generator

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

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

solutionSerializerProvider() - Method in record class tools.refinery.generator.impl.ConcreteModelFacade.Args

Returns the value of the solutionSerializerProvider record component.

StandaloneRefinery - Class in tools.refinery.generator.standalone

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

store() - Method in record class tools.refinery.generator.impl.ModelFacadeImpl.Args

Returns the value of the store record component.

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

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

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

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.impl.ConcreteModelFacade.Args

Returns a string representation of this record class.

toString() - Method in record class tools.refinery.generator.impl.ModelFacadeImpl.Args

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.

TRANSLATION_ERROR - Static variable in class tools.refinery.generator.RefineryDiagnostics

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

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

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

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

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

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

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

V

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

wrapPropagationRejectedException(PropagationRejectedException, ProblemTrace) - Method in class tools.refinery.generator.RefineryDiagnostics

wrapTracedException(TracedException) - Method in class tools.refinery.generator.RefineryDiagnostics

wrapTranslationException(TranslationException, ProblemTrace) - Method in class tools.refinery.generator.RefineryDiagnostics

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|Constant Field Values|Serialized Form