Index (refinery-store-reasoning 0.1.4-SNAPSHOT API)

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

A

abstractDomain() - Method in interface tools.refinery.store.reasoning.representation.AnyPartialSymbol
abstractDomain() - Method in record class tools.refinery.store.reasoning.representation.PartialFunction: Returns the value of the abstractDomain record component.
abstractDomain() - Method in record class tools.refinery.store.reasoning.representation.PartialRelation
abstractDomain() - Method in interface tools.refinery.store.reasoning.representation.PartialSymbol
AbstractPartialInterpretation<A,C> - Class in tools.refinery.store.reasoning.interpretation
AbstractPartialInterpretation(ReasoningAdapter, Concreteness, PartialSymbol<A, C>) - Constructor for class tools.refinery.store.reasoning.interpretation.AbstractPartialInterpretation
AbstractPartialInterpretationRefiner<A,C> - Class in tools.refinery.store.reasoning.refinement
AbstractPartialInterpretationRefiner(ReasoningAdapter, PartialSymbol<A, C>) - Constructor for class tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner
AbstractPartialInterpretationRefiner.ConcretizationAware<A,C> - Class in tools.refinery.store.reasoning.refinement
abstractType() - Method in record class tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo: Returns the value of the abstractType record component.
accept - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
accept(Criterion) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
accept(Criterion) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
acceptWasSet - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
add(PartialRelation, NodeVariable...) - Static method in class tools.refinery.store.reasoning.actions.PartialActionLiterals
addModality(CallLiteral, Modality, Concreteness) - Static method in class tools.refinery.store.reasoning.literal.PartialLiterals
addSupertype(PartialRelation) - Method in record class tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo
afterCreate() - Method in interface tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner: Called after all PartialInterpretationRefiner instances have been created for symbols registered to the ReasoningStoreAdapter.
afterInitialize(ModelSeed) - Method in interface tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner: Execute propagations based on the contents of the modelSeed that would by executed if the modelSeed were written to the model as a sequence of PartialInterpretationRefiner.merge(Tuple, AbstractValue) calls.
afterInitialize(ModelSeed) - Method in class tools.refinery.store.reasoning.translator.opposite.OppositeRefiner
AnyPartialFunction - Interface in tools.refinery.store.reasoning.representation
AnyPartialInterpretation - Interface in tools.refinery.store.reasoning.interpretation
AnyPartialInterpretationRefiner - Interface in tools.refinery.store.reasoning.refinement
AnyPartialSymbol - Interface in tools.refinery.store.reasoning.representation
AnyPartialSymbolTranslator - Interface in tools.refinery.store.reasoning.translator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.containment.ContainerTypeInferenceTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.multiplicity.InvalidMultiplicityErrorTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.opposite.OppositeRelationTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.predicate.BasePredicateTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.predicate.PredicateTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.predicate.ShadowPredicateTranslator
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.proxy.PartialRelationTranslatorProxy
apply(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator
arity() - Method in interface tools.refinery.store.reasoning.representation.AnyPartialSymbol
arity() - Method in record class tools.refinery.store.reasoning.representation.PartialFunction: Returns the value of the arity record component.
arity() - Method in record class tools.refinery.store.reasoning.representation.PartialRelation: Returns the value of the arity record component.
arity() - Method in interface tools.refinery.store.reasoning.seed.Seed
asInferredType() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult

B

BasePredicateTranslator - Class in tools.refinery.store.reasoning.translator.predicate
BasePredicateTranslator(PartialRelation, List<PartialRelation>, Set<PartialRelation>, TruthValue, boolean) - Constructor for class tools.refinery.store.reasoning.translator.predicate.BasePredicateTranslator
bindToModel(Model) - Method in class tools.refinery.store.reasoning.actions.FocusActionLiteral
bindToModel(Model) - Method in class tools.refinery.store.reasoning.actions.MergeActionLiteral
bindToModel(Model) - Method in class tools.refinery.store.reasoning.translator.multiobject.CleanupPropagator
build() - Method in class tools.refinery.store.reasoning.seed.ModelSeed.Builder
build() - Method in class tools.refinery.store.reasoning.seed.Seed.Builder
build() - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
build() - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
build() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
build(ModelStore) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
builder() - Static method in interface tools.refinery.store.reasoning.ReasoningAdapter
builder() - Static method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel
builder() - Static method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo
builder() - Static method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy
builder(int) - Static method in class tools.refinery.store.reasoning.seed.ModelSeed
builder(int, Class<T>, T) - Static method in interface tools.refinery.store.reasoning.seed.Seed
builder(PartialSymbol<T, ?>) - Static method in interface tools.refinery.store.reasoning.seed.Seed
builder(Symbol<T>) - Static method in interface tools.refinery.store.reasoning.seed.Seed

C

calculateCodes() - Method in class tools.refinery.store.reasoning.interpretation.PartialNeighborhoodCalculator
candidate(RelationalQuery) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
CANDIDATE - Enum constant in enum class tools.refinery.store.reasoning.literal.Concreteness
CANDIDATE - Enum constant in enum class tools.refinery.store.reasoning.literal.ConcretenessSpecification
candidateMay(RelationalQuery) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
candidateMay(CallLiteral) - Static method in class tools.refinery.store.reasoning.literal.PartialLiterals
candidateMust(RelationalQuery) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
candidateMust(CallLiteral) - Static method in class tools.refinery.store.reasoning.literal.PartialLiterals
candidateType() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
checkConfigured() - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
checkNotConfigured() - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
cleanup(int) - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
cleanup(int) - Method in class tools.refinery.store.reasoning.refinement.DefaultStorageRefiner
cleanup(int) - Method in interface tools.refinery.store.reasoning.refinement.StorageRefiner
CleanupPropagator - Class in tools.refinery.store.reasoning.translator.multiobject: Clean up non-existing objects in a separate propagator to avoid interference with propagation rules that assume that each object in their activation set is still part of the model when they are called.
CleanupPropagator(boolean, MultiObjectTranslator) - Constructor for class tools.refinery.store.reasoning.translator.multiobject.CleanupPropagator
commute(CallPolarity) - Method in enum class tools.refinery.store.reasoning.literal.Modality
concreteness() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint: Returns the value of the concreteness record component.
Concreteness - Enum Class in tools.refinery.store.reasoning.literal
ConcretenessSpecification - Enum Class in tools.refinery.store.reasoning.literal
ConcreteRelationRefiner - Class in tools.refinery.store.reasoning.refinement
ConcreteRelationRefiner(ReasoningAdapter, PartialSymbol<TruthValue, Boolean>, Symbol<TruthValue>, RoundingMode) - Constructor for class tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner
ConcreteSymbolRefiner<A,C> - Class in tools.refinery.store.reasoning.refinement
ConcreteSymbolRefiner(ReasoningAdapter, PartialSymbol<A, C>, Symbol<A>) - Constructor for class tools.refinery.store.reasoning.refinement.ConcreteSymbolRefiner
ConcretizationAware(ReasoningAdapter, PartialSymbol<A, C>) - Constructor for class tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner.ConcretizationAware
concretizationAwareMeet(TruthValue, TruthValue) - Method in class tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner
concretizationInProgress() - Method in class tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner.ConcretizationAware
configure(ModelStoreBuilder) - Method in interface tools.refinery.store.reasoning.translator.AnyPartialSymbolTranslator
configure(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.multiobject.CleanupPropagator
configure(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
configure(ModelStoreBuilder, Set<Concreteness>) - Method in interface tools.refinery.store.reasoning.interpretation.PartialInterpretation.Factory
configure(ModelStoreBuilder, Set<Concreteness>) - Method in class tools.refinery.store.reasoning.interpretation.QueryBasedRelationInterpretationFactory
ConstrainedMultiplicity - Record Class in tools.refinery.store.reasoning.translator.multiplicity
ConstrainedMultiplicity(CardinalityInterval, PartialRelation) - Constructor for record class tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity: Creates an instance of a ConstrainedMultiplicity record class.
constraint() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint: Returns the value of the constraint record component.
CONTAINED_SYMBOL - Static variable in class tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator
ContainedTypeHierarchyBuilder - Class in tools.refinery.store.reasoning.translator.metamodel
CONTAINER_SYMBOL - Static variable in class tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator
ContainerTypeInferenceTranslator - Class in tools.refinery.store.reasoning.translator.containment
ContainerTypeInferenceTranslator(TypeHierarchy, Map<PartialRelation, ContainmentInfo>) - Constructor for class tools.refinery.store.reasoning.translator.containment.ContainerTypeInferenceTranslator
containment() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns the value of the containment record component.
containment(boolean) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
containmentHierarchy() - Method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Returns the value of the containmentHierarchy record component.
ContainmentHierarchyTranslator - Class in tools.refinery.store.reasoning.translator.containment
ContainmentHierarchyTranslator(Map<PartialRelation, ContainmentInfo>) - Constructor for class tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator
ContainmentInfo - Record Class in tools.refinery.store.reasoning.translator.containment
ContainmentInfo(PartialRelation, Multiplicity, PartialRelation, Set<PartialRelation>, Set<PartialRelation>) - Constructor for record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Creates an instance of a ContainmentInfo record class.
CONTAINS_SYMBOL - Static variable in class tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator
containsSeed(AnyPartialSymbol) - Method in class tools.refinery.store.reasoning.seed.ModelSeed
COUNT_STORAGE - Static variable in class tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator
COUNT_SYMBOL - Static variable in class tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator
CountCandidateLowerBoundLiteral - Class in tools.refinery.store.reasoning.literal
CountCandidateLowerBoundLiteral(DataVariable<Integer>, Constraint, List<Variable>) - Constructor for class tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral
CountCandidateUpperBoundLiteral - Class in tools.refinery.store.reasoning.literal
CountCandidateUpperBoundLiteral(DataVariable<Integer>, Constraint, List<Variable>) - Constructor for class tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral
CountLowerBoundLiteral - Class in tools.refinery.store.reasoning.literal
CountLowerBoundLiteral(DataVariable<Integer>, Constraint, List<Variable>) - Constructor for class tools.refinery.store.reasoning.literal.CountLowerBoundLiteral
CountUpperBoundLiteral - Class in tools.refinery.store.reasoning.literal
CountUpperBoundLiteral(DataVariable<UpperCardinality>, Constraint, List<Variable>) - Constructor for class tools.refinery.store.reasoning.literal.CountUpperBoundLiteral
create(ReasoningAdapter, Concreteness, PartialSymbol<A, C>) - Method in interface tools.refinery.store.reasoning.interpretation.PartialInterpretation.Factory
create(ReasoningAdapter, Concreteness, PartialSymbol<TruthValue, Boolean>) - Method in class tools.refinery.store.reasoning.interpretation.QueryBasedRelationInterpretationFactory
create(ReasoningAdapter, PartialSymbol<A, C>) - Method in interface tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner.Factory
create(Symbol<T>, Model) - Method in interface tools.refinery.store.reasoning.refinement.StorageRefiner.Factory
createInitialModel(ModelSeed) - Method in interface tools.refinery.store.reasoning.ReasoningStoreAdapter
createModelAdapter(Model) - Method in interface tools.refinery.store.reasoning.ReasoningStoreAdapter
createParameters(int, AbstractQueryBuilder<?>) - Static method in class tools.refinery.store.reasoning.translator.TranslatorUtils
createSupersetHelper(PartialRelation, Set<PartialRelation>) - Static method in class tools.refinery.store.reasoning.translator.TranslatorUtils
createSupersetHelper(PartialRelation, Set<PartialRelation>, Set<PartialRelation>) - Static method in class tools.refinery.store.reasoning.translator.TranslatorUtils

D

decision(Rule) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
decision(Rule) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
decisionRules - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
decorateName(String, Modality, Concreteness) - Static method in class tools.refinery.store.reasoning.lifting.DnfLifter
DefaultStorageRefiner<T> - Class in tools.refinery.store.reasoning.refinement
DefaultStorageRefiner(Symbol<T>, Model) - Constructor for class tools.refinery.store.reasoning.refinement.DefaultStorageRefiner
defaultValue() - Method in record class tools.refinery.store.reasoning.representation.PartialFunction
defaultValue() - Method in record class tools.refinery.store.reasoning.representation.PartialRelation
defaultValue() - Method in interface tools.refinery.store.reasoning.representation.PartialSymbol
defaultValue() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns the value of the defaultValue record component.
defaultValue() - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Returns the value of the defaultValue record component.
defaultValue() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns the value of the defaultValue record component.
defaultValue(TruthValue) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
DirectedCrossReferenceInfo - Record Class in tools.refinery.store.reasoning.translator.crossreference
DirectedCrossReferenceInfo(PartialRelation, Multiplicity, PartialRelation, Multiplicity, TruthValue, boolean, Set<PartialRelation>, Set<PartialRelation>) - Constructor for record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Creates an instance of a DirectedCrossReferenceInfo record class.
directedCrossReferences() - Method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Returns the value of the directedCrossReferences record component.
DirectedCrossReferenceTranslator - Class in tools.refinery.store.reasoning.translator.crossreference
DirectedCrossReferenceTranslator(PartialRelation, DirectedCrossReferenceInfo) - Constructor for class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceTranslator
DnfLifter - Class in tools.refinery.store.reasoning.lifting
DnfLifter() - Constructor for class tools.refinery.store.reasoning.lifting.DnfLifter
doBuild(ModelStore) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
doConfigure(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
doConfigure(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
doConfigure(ModelStoreBuilder) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral
doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral
doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.store.reasoning.literal.CountLowerBoundLiteral
doSubstitute(Substitution, List<Variable>) - Method in class tools.refinery.store.reasoning.literal.CountUpperBoundLiteral

E

equals(Object) - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.representation.PartialFunction: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.representation.PartialRelation: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.seed.PropagatedModel: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
equals(Object) - Method in record class tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo: Indicates whether some other object is "equal to" this one.
equals(LiteralEqualityHelper, Constraint) - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint
EQUALS_SYMBOL - Static variable in interface tools.refinery.store.reasoning.ReasoningAdapter
EqualsRefiner - Class in tools.refinery.store.reasoning.translator.multiobject
errorSymbol() - Method in record class tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity: Returns the value of the errorSymbol record component.
exclude - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
exclude(Criterion) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
exclude(Criterion) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
excludeWasSet - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
EXISTS_SYMBOL - Static variable in interface tools.refinery.store.reasoning.ReasoningAdapter
ExistsRefiner - Class in tools.refinery.store.reasoning.translator.multiobject

F

factory() - Static method in class tools.refinery.store.reasoning.refinement.DefaultStorageRefiner
factory(Concreteness, int) - Static method in class tools.refinery.store.reasoning.interpretation.PartialNeighborhoodCalculator
focus(int) - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
focus(NodeVariable, NodeVariable) - Static method in class tools.refinery.store.reasoning.actions.PartialActionLiterals
FocusActionLiteral - Class in tools.refinery.store.reasoning.actions
FocusActionLiteral(NodeVariable, NodeVariable) - Constructor for class tools.refinery.store.reasoning.actions.FocusActionLiteral
forbiddenByConcretization(TruthValue, TruthValue) - Method in class tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner

G

get(Tuple) - Method in interface tools.refinery.store.reasoning.interpretation.PartialInterpretation
get(Tuple) - Method in class tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner
get(Tuple) - Method in class tools.refinery.store.reasoning.refinement.ConcreteSymbolRefiner
get(Tuple) - Method in interface tools.refinery.store.reasoning.seed.Seed
getAdapter() - Method in class tools.refinery.store.reasoning.interpretation.AbstractPartialInterpretation
getAdapter() - Method in interface tools.refinery.store.reasoning.interpretation.AnyPartialInterpretation
getAdapter() - Method in class tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner
getAdapter() - Method in interface tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner
getAll() - Method in interface tools.refinery.store.reasoning.interpretation.PartialInterpretation
getAllTypes() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy
getAnalysisResult(PartialRelation) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy
getArity(PartialInterpretation<?, ?>) - Method in class tools.refinery.store.reasoning.interpretation.PartialNeighborhoodCalculator
getCandidateMay() - Method in class tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter
getCandidateMust() - Method in class tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter
getChildNode() - Method in class tools.refinery.store.reasoning.actions.FocusActionLiteral
getConcreteness() - Method in class tools.refinery.store.reasoning.interpretation.AbstractPartialInterpretation
getConcreteness() - Method in interface tools.refinery.store.reasoning.interpretation.AnyPartialInterpretation
getConcreteSubtypesAndSelf() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult
getCursor(PartialInterpretation<?, ?>) - Method in class tools.refinery.store.reasoning.interpretation.PartialNeighborhoodCalculator
getCursor(PartialSymbol<A, ?>) - Method in class tools.refinery.store.reasoning.seed.ModelSeed
getCursor(PartialSymbol<A, ?>, A) - Method in class tools.refinery.store.reasoning.seed.ModelSeed
getCursor(T, int) - Method in interface tools.refinery.store.reasoning.seed.Seed
getDirectSubtypes() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult
getEliminatedTypes() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy
getInputVariables() - Method in class tools.refinery.store.reasoning.actions.FocusActionLiteral
getInputVariables() - Method in class tools.refinery.store.reasoning.actions.MergeActionLiteral
getInterpretationFactory() - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
getInterpretationRefiner() - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
getInterpretations() - Method in class tools.refinery.store.reasoning.interpretation.PartialNeighborhoodCalculator
getMay() - Method in class tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter
getMust() - Method in class tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter
getNodeCount() - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
getNodeCount() - Method in class tools.refinery.store.reasoning.seed.ModelSeed
getNullValue(PartialInterpretation<?, ?>) - Method in class tools.refinery.store.reasoning.interpretation.PartialNeighborhoodCalculator
getOutputVariables() - Method in class tools.refinery.store.reasoning.actions.FocusActionLiteral
getOutputVariables() - Method in class tools.refinery.store.reasoning.actions.MergeActionLiteral
getParameters() - Method in class tools.refinery.store.reasoning.actions.MergeActionLiteral
getParameters() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint
getParameters() - Method in record class tools.refinery.store.reasoning.representation.PartialRelation
getParentNode() - Method in class tools.refinery.store.reasoning.actions.FocusActionLiteral
getPartialInterpretation(Concreteness, AnyPartialSymbol) - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
getPartialInterpretation(Concreteness, PartialSymbol<A, C>) - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
getPartialRelation() - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
getPartialSymbol() - Method in class tools.refinery.store.reasoning.actions.MergeActionLiteral
getPartialSymbol() - Method in class tools.refinery.store.reasoning.interpretation.AbstractPartialInterpretation
getPartialSymbol() - Method in interface tools.refinery.store.reasoning.interpretation.AnyPartialInterpretation
getPartialSymbol() - Method in interface tools.refinery.store.reasoning.interpretation.PartialInterpretation
getPartialSymbol() - Method in class tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner
getPartialSymbol() - Method in interface tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner
getPartialSymbol() - Method in interface tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner
getPartialSymbol() - Method in class tools.refinery.store.reasoning.seed.SeedInitializer
getPartialSymbol() - Method in interface tools.refinery.store.reasoning.translator.AnyPartialSymbolTranslator
getPartialSymbol() - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
getPartialSymbol() - Method in exception class tools.refinery.store.reasoning.translator.TranslationException
getPartialSymbols() - Method in interface tools.refinery.store.reasoning.ReasoningStoreAdapter
getPreservedTypes() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy
getReduction() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint
getRefinablePartialSymbols() - Method in interface tools.refinery.store.reasoning.ReasoningStoreAdapter
getRefiner(AnyPartialSymbol) - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
getRefiner(PartialSymbol<A, C>) - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
getRefiners(ReasoningAdapter, Set<? extends PartialSymbol<A, C>>) - Static method in class tools.refinery.store.reasoning.refinement.RefinementUtils
getRewriter() - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
getSeed(PartialSymbol<A, ?>) - Method in class tools.refinery.store.reasoning.seed.ModelSeed
getSeededSymbols() - Method in class tools.refinery.store.reasoning.seed.ModelSeed
getStoreAdapter() - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
getSupportedInterpretations() - Method in interface tools.refinery.store.reasoning.ReasoningStoreAdapter
getSymbol() - Method in class tools.refinery.store.reasoning.seed.SeedInitializer
getUnknownType() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy
getValue() - Method in class tools.refinery.store.reasoning.actions.MergeActionLiteral

H

hashCode() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.representation.PartialFunction: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.representation.PartialRelation: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.seed.PropagatedModel: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity: Returns a hash code value for this object.
hashCode() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
hashCode() - Method in record class tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo: Returns a hash code value for this object.

I

InferredType - Class in tools.refinery.store.reasoning.translator.typehierarchy
InferredType(Set<PartialRelation>, Set<PartialRelation>, PartialRelation) - Constructor for class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
initialize(Model, ModelSeed) - Method in interface tools.refinery.store.reasoning.refinement.PartialModelInitializer
initialize(Model, ModelSeed) - Method in class tools.refinery.store.reasoning.seed.SeedInitializer
initialize(Model, ModelSeed) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyInitializer
initializer - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
initializer(PartialModelInitializer) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
initializer(PartialModelInitializer) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
initializer(PartialModelInitializer) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
initializer(PartialModelInitializer) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
INSTANCE - Static variable in class tools.refinery.store.reasoning.translator.multiplicity.UnconstrainedMultiplicity
interpretation(PartialInterpretation.Factory<A, C>) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
interpretation(PartialInterpretation.Factory<TruthValue, Boolean>) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
interpretationFactory - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
interpretationRefiner - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
INVALID_CONTAINER - Static variable in class tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator
InvalidMultiplicityErrorTranslator - Class in tools.refinery.store.reasoning.translator.multiplicity
InvalidMultiplicityErrorTranslator(PartialRelation, PartialRelation, boolean, Multiplicity) - Constructor for class tools.refinery.store.reasoning.translator.multiplicity.InvalidMultiplicityErrorTranslator
isAbstractType() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult
isConfigured() - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
isConsistent() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
isConstrained() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo
isConstrained() - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo
isConstrained() - Method in record class tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity
isConstrained() - Method in interface tools.refinery.store.reasoning.translator.multiplicity.Multiplicity
isConstrained() - Method in class tools.refinery.store.reasoning.translator.multiplicity.UnconstrainedMultiplicity
isEmpty() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy
isMayConcrete(PartialRelation) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
isMust(PartialRelation) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
isSubtypeOf(TypeAnalysisResult) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult
isVacuous() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult

L

lift(Modality, Concreteness, Dnf) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
lift(Modality, Concreteness, Dnf) - Method in class tools.refinery.store.reasoning.lifting.DnfLifter
lift(Modality, Concreteness, Dnf) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
lift(Modality, Concreteness, FunctionalQuery<T>) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
lift(Modality, Concreteness, FunctionalQuery<T>) - Method in class tools.refinery.store.reasoning.lifting.DnfLifter
lift(Modality, Concreteness, FunctionalQuery<T>) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
lift(Modality, Concreteness, Query<T>) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
lift(Modality, Concreteness, Query<T>) - Method in class tools.refinery.store.reasoning.lifting.DnfLifter
lift(Modality, Concreteness, Query<T>) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
lift(Modality, Concreteness, RelationalQuery) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
lift(Modality, Concreteness, RelationalQuery) - Method in class tools.refinery.store.reasoning.lifting.DnfLifter
lift(Modality, Concreteness, RelationalQuery) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
LOWER_CARDINALITY_VIEW - Static variable in class tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator

M

majorityValue() - Method in interface tools.refinery.store.reasoning.seed.Seed
may(RelationalQuery) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
may(CallLiteral) - Static method in class tools.refinery.store.reasoning.literal.PartialLiterals
MAY - Enum constant in enum class tools.refinery.store.reasoning.literal.Modality
MAY - Enum constant in enum class tools.refinery.store.reasoning.literal.ModalitySpecification
mayConcreteTypes() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
mayNever() - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
merge(PartialSymbol<A, C>, A, NodeVariable...) - Static method in class tools.refinery.store.reasoning.actions.PartialActionLiterals
merge(InferredType, TruthValue) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult
merge(Tuple) - Method in class tools.refinery.store.reasoning.refinement.TypeConstraintRefiner
merge(Tuple, A) - Method in class tools.refinery.store.reasoning.refinement.ConcreteSymbolRefiner
merge(Tuple, A) - Method in interface tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner
merge(Tuple, A) - Method in class tools.refinery.store.reasoning.translator.opposite.OppositeRefiner
merge(Tuple, TruthValue) - Method in class tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner
merge(Tuple, TruthValue) - Method in class tools.refinery.store.reasoning.translator.multiobject.EqualsRefiner
merge(Tuple, TruthValue) - Method in class tools.refinery.store.reasoning.translator.multiobject.ExistsRefiner
MergeActionLiteral<A,C> - Class in tools.refinery.store.reasoning.actions
MergeActionLiteral(PartialSymbol<A, C>, A, List<NodeVariable>) - Constructor for class tools.refinery.store.reasoning.actions.MergeActionLiteral
mergeAll(PartialInterpretationRefiner<A, C>[], Tuple, A) - Static method in class tools.refinery.store.reasoning.refinement.RefinementUtils
mergeCandidateWithPartial(boolean) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
mergeFromSeed(PartialSymbol<TruthValue, Boolean>, ModelSeed) - Method in class tools.refinery.store.reasoning.refinement.TypeConstraintRefiner
Metamodel - Record Class in tools.refinery.store.reasoning.translator.metamodel
Metamodel(TypeHierarchy, Map<PartialRelation, ContainmentInfo>, Map<PartialRelation, DirectedCrossReferenceInfo>, Map<PartialRelation, UndirectedCrossReferenceInfo>, Map<PartialRelation, PartialRelation>) - Constructor for record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Creates an instance of a Metamodel record class.
MetamodelBuilder - Class in tools.refinery.store.reasoning.translator.metamodel
MetamodelTranslator - Class in tools.refinery.store.reasoning.translator.metamodel
MetamodelTranslator(Metamodel) - Constructor for class tools.refinery.store.reasoning.translator.metamodel.MetamodelTranslator
ModalConstraint - Record Class in tools.refinery.store.reasoning.literal
ModalConstraint(ModalitySpecification, ConcretenessSpecification, Constraint) - Constructor for record class tools.refinery.store.reasoning.literal.ModalConstraint: Creates an instance of a ModalConstraint record class.
modality() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint: Returns the value of the modality record component.
Modality - Enum Class in tools.refinery.store.reasoning.literal
ModalitySpecification - Enum Class in tools.refinery.store.reasoning.literal
model() - Method in record class tools.refinery.store.reasoning.seed.PropagatedModel: Returns the value of the model record component.
ModelSeed - Class in tools.refinery.store.reasoning.seed
ModelSeed.Builder - Class in tools.refinery.store.reasoning.seed
MULTI_VIEW - Static variable in class tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator
MultiObjectTranslator - Class in tools.refinery.store.reasoning.translator.multiobject
MultiObjectTranslator() - Constructor for class tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator
MultiObjectTranslator(boolean) - Constructor for class tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator
multiplicity() - Method in record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Returns the value of the multiplicity record component.
multiplicity() - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Returns the value of the multiplicity record component.
multiplicity() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns the value of the multiplicity record component.
multiplicity() - Method in record class tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity: Returns the value of the multiplicity record component.
multiplicity() - Method in interface tools.refinery.store.reasoning.translator.multiplicity.Multiplicity
multiplicity() - Method in class tools.refinery.store.reasoning.translator.multiplicity.UnconstrainedMultiplicity
multiplicity(CardinalityInterval, PartialRelation) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
multiplicity(Multiplicity) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
Multiplicity - Interface in tools.refinery.store.reasoning.translator.multiplicity
must(RelationalQuery) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
must(CallLiteral) - Static method in class tools.refinery.store.reasoning.literal.PartialLiterals
MUST - Enum constant in enum class tools.refinery.store.reasoning.literal.Modality
MUST - Enum constant in enum class tools.refinery.store.reasoning.literal.ModalitySpecification
mustTypes() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType

N

name() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint
name() - Method in interface tools.refinery.store.reasoning.representation.AnyPartialSymbol
name() - Method in record class tools.refinery.store.reasoning.representation.PartialFunction: Returns the value of the name record component.
name() - Method in record class tools.refinery.store.reasoning.representation.PartialRelation: Returns the value of the name record component.
negate() - Method in enum class tools.refinery.store.reasoning.literal.Modality
negate() - Method in enum class tools.refinery.store.reasoning.literal.ModalitySpecification
NONE - Enum constant in enum class tools.refinery.store.reasoning.translator.RoundingMode

O

objective - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
objective(Objective) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
objective(Objective) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
objective(Objective) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
objective(Objective) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
objectives(Collection<Objective>) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
objectives(Objective...) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
objectiveWasSet - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
of(String, int) - Static method in interface tools.refinery.store.reasoning.representation.PartialSymbol
of(String, int, AbstractDomain<A, C>) - Static method in interface tools.refinery.store.reasoning.representation.PartialSymbol
of(Modality, Concreteness, Constraint) - Static method in record class tools.refinery.store.reasoning.literal.ModalConstraint
of(PartialRelation) - Static method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
of(PartialSymbol<A1, C1>) - Static method in class tools.refinery.store.reasoning.translator.opposite.OppositeRefiner
of(Symbol<A1>) - Static method in class tools.refinery.store.reasoning.refinement.ConcreteSymbolRefiner
of(Symbol<CardinalityInterval>) - Static method in class tools.refinery.store.reasoning.translator.multiobject.EqualsRefiner
of(Symbol<CardinalityInterval>) - Static method in class tools.refinery.store.reasoning.translator.multiobject.ExistsRefiner
of(Symbol<TruthValue>, RoundingMode) - Static method in class tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner
one() - Method in class tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral
one() - Method in class tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral
one() - Method in class tools.refinery.store.reasoning.literal.CountLowerBoundLiteral
one() - Method in class tools.refinery.store.reasoning.literal.CountUpperBoundLiteral
operatorName() - Method in class tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral
operatorName() - Method in class tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral
operatorName() - Method in class tools.refinery.store.reasoning.literal.CountLowerBoundLiteral
operatorName() - Method in class tools.refinery.store.reasoning.literal.CountUpperBoundLiteral
opposite() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns the value of the opposite record component.
opposite(PartialRelation) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
oppositeReferences() - Method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Returns the value of the oppositeReferences record component.
OppositeRefiner<A,C> - Class in tools.refinery.store.reasoning.translator.opposite
OppositeRefiner(ReasoningAdapter, PartialSymbol<A, C>, PartialSymbol<A, C>) - Constructor for class tools.refinery.store.reasoning.translator.opposite.OppositeRefiner
OppositeRelationTranslator - Class in tools.refinery.store.reasoning.translator.opposite
OppositeRelationTranslator(PartialRelation, PartialRelation) - Constructor for class tools.refinery.store.reasoning.translator.opposite.OppositeRelationTranslator
oppositeSupersets() - Method in record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Returns the value of the oppositeSupersets record component.
oppositeSupersets() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns the value of the oppositeSupersets record component.
orElse(ConcretenessSpecification) - Method in enum class tools.refinery.store.reasoning.literal.ConcretenessSpecification
orElse(ModalitySpecification) - Method in enum class tools.refinery.store.reasoning.literal.ModalitySpecification

P

partial() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns the value of the partial record component.
partial() - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Returns the value of the partial record component.
partial() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns the value of the partial record component.
partial(boolean) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
PARTIAL - Enum constant in enum class tools.refinery.store.reasoning.literal.Concreteness
PARTIAL - Enum constant in enum class tools.refinery.store.reasoning.literal.ConcretenessSpecification
PartialActionLiterals - Class in tools.refinery.store.reasoning.actions
PartialFunction<A,C> - Record Class in tools.refinery.store.reasoning.representation
PartialFunction(String, int, AbstractDomain<A, C>) - Constructor for record class tools.refinery.store.reasoning.representation.PartialFunction: Creates an instance of a PartialFunction record class.
PartialInterpretation<A,C> - Interface in tools.refinery.store.reasoning.interpretation
PartialInterpretation.Factory<A,C> - Interface in tools.refinery.store.reasoning.interpretation
PartialInterpretationRefiner<A,C> - Interface in tools.refinery.store.reasoning.refinement
PartialInterpretationRefiner.Factory<A,C> - Interface in tools.refinery.store.reasoning.refinement
PartialLiterals - Class in tools.refinery.store.reasoning.literal
PartialModelInitializer - Interface in tools.refinery.store.reasoning.refinement
PartialNeighborhoodCalculator - Class in tools.refinery.store.reasoning.interpretation
PartialNeighborhoodCalculator(Model, IndividualsSet, Concreteness, int) - Constructor for class tools.refinery.store.reasoning.interpretation.PartialNeighborhoodCalculator
PartialRelation - Record Class in tools.refinery.store.reasoning.representation
PartialRelation(String, int) - Constructor for record class tools.refinery.store.reasoning.representation.PartialRelation: Creates an instance of a PartialRelation record class.
PartialRelationRewriter - Interface in tools.refinery.store.reasoning.interpretation
PartialRelationTranslator - Class in tools.refinery.store.reasoning.translator
PartialRelationTranslatorProxy - Class in tools.refinery.store.reasoning.translator.proxy
PartialRelationTranslatorProxy(PartialRelation, PartialRelation, boolean) - Constructor for class tools.refinery.store.reasoning.translator.proxy.PartialRelationTranslatorProxy
partialSymbol(AnyPartialSymbolTranslator) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
partialSymbol(AnyPartialSymbolTranslator) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
PartialSymbol<A,C> - Interface in tools.refinery.store.reasoning.representation
PartialSymbolTranslator<A,C> - Class in tools.refinery.store.reasoning.translator
PredicateTranslator - Class in tools.refinery.store.reasoning.translator.predicate
PredicateTranslator(PartialRelation, RelationalQuery, List<PartialRelation>, Set<PartialRelation>, boolean, TruthValue) - Constructor for class tools.refinery.store.reasoning.translator.predicate.PredicateTranslator
PREFER_FALSE - Enum constant in enum class tools.refinery.store.reasoning.translator.RoundingMode
PREFER_TRUE - Enum constant in enum class tools.refinery.store.reasoning.translator.RoundingMode
PropagatedModel - Record Class in tools.refinery.store.reasoning.seed
PropagatedModel(Model, PropagationResult) - Constructor for record class tools.refinery.store.reasoning.seed.PropagatedModel: Creates an instance of a PropagatedModel record class.
propagationResult() - Method in record class tools.refinery.store.reasoning.seed.PropagatedModel: Returns the value of the propagationResult record component.
put(Tuple, A) - Method in class tools.refinery.store.reasoning.refinement.ConcreteSymbolRefiner
put(Tuple, T) - Method in class tools.refinery.store.reasoning.seed.Seed.Builder
put(Tuple, TruthValue) - Method in class tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner
putAll(Map<Tuple, T>) - Method in class tools.refinery.store.reasoning.seed.Seed.Builder

Q

query(RelationalQuery) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
QueryBasedRelationInterpretationFactory - Class in tools.refinery.store.reasoning.interpretation
QueryBasedRelationInterpretationFactory(Query<Boolean>, Query<Boolean>, Query<Boolean>, Query<Boolean>) - Constructor for class tools.refinery.store.reasoning.interpretation.QueryBasedRelationInterpretationFactory
QueryBasedRelationRewriter - Class in tools.refinery.store.reasoning.interpretation
QueryBasedRelationRewriter(RelationalQuery, RelationalQuery, RelationalQuery, RelationalQuery) - Constructor for class tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter

R

ReasoningAdapter - Interface in tools.refinery.store.reasoning
ReasoningBuilder - Interface in tools.refinery.store.reasoning
ReasoningBuilderImpl - Class in tools.refinery.store.reasoning.internal
ReasoningBuilderImpl() - Constructor for class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
ReasoningStoreAdapter - Interface in tools.refinery.store.reasoning
reducedValue(T) - Method in class tools.refinery.store.reasoning.seed.Seed.Builder
reference(PartialRelation, Consumer<ReferenceInfoBuilder>) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
reference(PartialRelation, ReferenceInfo) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
ReferenceInfo - Record Class in tools.refinery.store.reasoning.translator.metamodel
ReferenceInfo(boolean, PartialRelation, Multiplicity, PartialRelation, PartialRelation, TruthValue, boolean, Set<PartialRelation>) - Constructor for record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Creates an instance of a ReferenceInfo record class.
ReferenceInfoBuilder - Class in tools.refinery.store.reasoning.translator.metamodel
references(Collection<Map.Entry<PartialRelation, ReferenceInfo>>) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
references(Map<PartialRelation, ReferenceInfo>) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
refineFromSeed(PartialInterpretationRefiner<A, C>, ModelSeed) - Static method in class tools.refinery.store.reasoning.refinement.RefinementUtils
RefinementUtils - Class in tools.refinery.store.reasoning.refinement
refiner(PartialInterpretationRefiner.Factory<A, C>) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
refiner(PartialInterpretationRefiner.Factory<TruthValue, Boolean>) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
remove(PartialRelation, NodeVariable...) - Static method in class tools.refinery.store.reasoning.actions.PartialActionLiterals
requiredInterpretations(Collection<Concreteness>) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
requiredInterpretations(Collection<Concreteness>) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
requiredInterpretations(Concreteness...) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
rewriteLiteral(Set<Variable>, AbstractCallLiteral, Modality, Concreteness) - Method in interface tools.refinery.store.reasoning.interpretation.PartialRelationRewriter
rewriteLiteral(Set<Variable>, AbstractCallLiteral, Modality, Concreteness) - Method in class tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter
rewriteLiteral(Set<Variable>, AbstractCallLiteral, Modality, Concreteness) - Method in class tools.refinery.store.reasoning.translator.opposite.OppositeRelationTranslator
rewriteLiteral(Set<Variable>, AbstractCallLiteral, Modality, Concreteness) - Method in class tools.refinery.store.reasoning.translator.proxy.PartialRelationTranslatorProxy
rewriter(PartialRelationRewriter) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
roundingMode(RoundingMode) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
RoundingMode - Enum Class in tools.refinery.store.reasoning.translator

S

seed(PartialSymbol<A, ?>, Consumer<Seed.Builder<A>>) - Method in class tools.refinery.store.reasoning.seed.ModelSeed.Builder
seed(PartialSymbol<A, ?>, Seed<A>) - Method in class tools.refinery.store.reasoning.seed.ModelSeed.Builder
Seed<T> - Interface in tools.refinery.store.reasoning.seed
Seed.Builder<T> - Class in tools.refinery.store.reasoning.seed
SeedInitializer<T> - Class in tools.refinery.store.reasoning.seed
SeedInitializer(Symbol<T>, PartialSymbol<T, ?>) - Constructor for class tools.refinery.store.reasoning.seed.SeedInitializer
ShadowPredicateTranslator - Class in tools.refinery.store.reasoning.translator.predicate
ShadowPredicateTranslator(PartialRelation, RelationalQuery, boolean) - Constructor for class tools.refinery.store.reasoning.translator.predicate.ShadowPredicateTranslator
shouldCheckConcretization(TruthValue, TruthValue) - Method in class tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner
source(PartialRelation) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
sourceMultiplicity() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns the value of the sourceMultiplicity record component.
sourceType() - Method in record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Returns the value of the sourceType record component.
sourceType() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns the value of the sourceType record component.
sourceType() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns the value of the sourceType record component.
split(int) - Method in interface tools.refinery.store.reasoning.ReasoningAdapter
split(int, int) - Method in class tools.refinery.store.reasoning.refinement.DefaultStorageRefiner
split(int, int) - Method in interface tools.refinery.store.reasoning.refinement.StorageRefiner
storageRefiner - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
storageRefiner(Symbol<T>, StorageRefiner.Factory<T>) - Method in class tools.refinery.store.reasoning.internal.ReasoningBuilderImpl
storageRefiner(Symbol<T>, StorageRefiner.Factory<T>) - Method in interface tools.refinery.store.reasoning.ReasoningBuilder
StorageRefiner - Interface in tools.refinery.store.reasoning.refinement
StorageRefiner.Factory<T> - Interface in tools.refinery.store.reasoning.refinement
storageSymbol - Variable in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
supersets() - Method in record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Returns the value of the supersets record component.
supersets() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns the value of the supersets record component.
supersets() - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Returns the value of the supersets record component.
supersets() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns the value of the supersets record component.
supersets(Collection<PartialRelation>) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
supersets(PartialRelation...) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
supertypes() - Method in record class tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo: Returns the value of the supertypes record component.
symbol(AnySymbol) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
symbol(AnySymbol) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator
symbol(Symbol<T>, StorageRefiner.Factory<T>) - Method in class tools.refinery.store.reasoning.translator.PartialRelationTranslator
symbol(Symbol<T>, StorageRefiner.Factory<T>) - Method in class tools.refinery.store.reasoning.translator.PartialSymbolTranslator

T

target(PartialRelation) - Method in class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
targetMultiplicity() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns the value of the targetMultiplicity record component.
targetType() - Method in record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Returns the value of the targetType record component.
targetType() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns the value of the targetType record component.
targetType() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns the value of the targetType record component.
toConcreteness() - Method in enum class tools.refinery.store.reasoning.literal.ConcretenessSpecification
toModality() - Method in enum class tools.refinery.store.reasoning.literal.ModalitySpecification
tools.refinery.store.reasoning - package tools.refinery.store.reasoning
tools.refinery.store.reasoning.actions - package tools.refinery.store.reasoning.actions
tools.refinery.store.reasoning.internal - package tools.refinery.store.reasoning.internal
tools.refinery.store.reasoning.interpretation - package tools.refinery.store.reasoning.interpretation
tools.refinery.store.reasoning.lifting - package tools.refinery.store.reasoning.lifting
tools.refinery.store.reasoning.literal - package tools.refinery.store.reasoning.literal
tools.refinery.store.reasoning.refinement - package tools.refinery.store.reasoning.refinement
tools.refinery.store.reasoning.representation - package tools.refinery.store.reasoning.representation
tools.refinery.store.reasoning.seed - package tools.refinery.store.reasoning.seed
tools.refinery.store.reasoning.translator - package tools.refinery.store.reasoning.translator
tools.refinery.store.reasoning.translator.containment - package tools.refinery.store.reasoning.translator.containment
tools.refinery.store.reasoning.translator.crossreference - package tools.refinery.store.reasoning.translator.crossreference
tools.refinery.store.reasoning.translator.metamodel - package tools.refinery.store.reasoning.translator.metamodel
tools.refinery.store.reasoning.translator.multiobject - package tools.refinery.store.reasoning.translator.multiobject
tools.refinery.store.reasoning.translator.multiplicity - package tools.refinery.store.reasoning.translator.multiplicity
tools.refinery.store.reasoning.translator.opposite - package tools.refinery.store.reasoning.translator.opposite
tools.refinery.store.reasoning.translator.predicate - package tools.refinery.store.reasoning.translator.predicate
tools.refinery.store.reasoning.translator.proxy - package tools.refinery.store.reasoning.translator.proxy
tools.refinery.store.reasoning.translator.typehierarchy - package tools.refinery.store.reasoning.translator.typehierarchy
toReferenceString() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint
toReferenceString() - Method in record class tools.refinery.store.reasoning.representation.PartialRelation
toSpecification() - Method in enum class tools.refinery.store.reasoning.literal.Concreteness
toSpecification() - Method in enum class tools.refinery.store.reasoning.literal.Modality
toString() - Method in enum class tools.refinery.store.reasoning.literal.Concreteness
toString() - Method in enum class tools.refinery.store.reasoning.literal.ConcretenessSpecification
toString() - Method in record class tools.refinery.store.reasoning.literal.ModalConstraint: Returns a string representation of this record class.
toString() - Method in enum class tools.refinery.store.reasoning.literal.Modality
toString() - Method in enum class tools.refinery.store.reasoning.literal.ModalitySpecification
toString() - Method in record class tools.refinery.store.reasoning.representation.PartialFunction: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.store.reasoning.representation.PartialRelation: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.store.reasoning.seed.PropagatedModel: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.store.reasoning.translator.containment.ContainmentInfo: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity: Returns a string representation of this record class.
toString() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
toString() - Method in record class tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo: Returns a string representation of this record class.
TranslationException - Exception Class in tools.refinery.store.reasoning.translator
TranslationException(AnyPartialSymbol) - Constructor for exception class tools.refinery.store.reasoning.translator.TranslationException
TranslationException(AnyPartialSymbol, String) - Constructor for exception class tools.refinery.store.reasoning.translator.TranslationException
TranslationException(AnyPartialSymbol, String, Throwable) - Constructor for exception class tools.refinery.store.reasoning.translator.TranslationException
TranslationException(AnyPartialSymbol, Throwable) - Constructor for exception class tools.refinery.store.reasoning.translator.TranslationException
TranslatorUtils - Class in tools.refinery.store.reasoning.translator
tryCreateInitialModel(ModelSeed) - Method in interface tools.refinery.store.reasoning.ReasoningStoreAdapter
type() - Method in record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Returns the value of the type record component.
type() - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult
type(PartialRelation, boolean, Collection<PartialRelation>) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
type(PartialRelation, boolean, Collection<PartialRelation>) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
type(PartialRelation, boolean, PartialRelation...) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
type(PartialRelation, boolean, PartialRelation...) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
type(PartialRelation, Collection<PartialRelation>) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
type(PartialRelation, Collection<PartialRelation>) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
type(PartialRelation, PartialRelation...) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
type(PartialRelation, PartialRelation...) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
type(PartialRelation, TypeInfo) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
type(PartialRelation, TypeInfo) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
TYPE_SYMBOL - Static variable in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator
TypeAnalysisResult - Class in tools.refinery.store.reasoning.translator.typehierarchy
TypeConstraintRefiner - Class in tools.refinery.store.reasoning.refinement
TypeConstraintRefiner(ReasoningAdapter, PartialRelation, PartialRelation, Set<PartialRelation>, Set<PartialRelation>) - Constructor for class tools.refinery.store.reasoning.refinement.TypeConstraintRefiner
typeHierarchy() - Method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Returns the value of the typeHierarchy record component.
TypeHierarchy - Class in tools.refinery.store.reasoning.translator.typehierarchy
TypeHierarchyBuilder - Class in tools.refinery.store.reasoning.translator.typehierarchy
TypeHierarchyBuilder() - Constructor for class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
TypeHierarchyInitializer - Class in tools.refinery.store.reasoning.translator.typehierarchy
TypeHierarchyInitializer(TypeHierarchy, Symbol<InferredType>) - Constructor for class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyInitializer
TypeHierarchyTranslator - Class in tools.refinery.store.reasoning.translator.typehierarchy
TypeHierarchyTranslator(TypeHierarchy) - Constructor for class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator
TypeInfo - Record Class in tools.refinery.store.reasoning.translator.typehierarchy
TypeInfo(Collection<PartialRelation>, boolean) - Constructor for record class tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo
TypeInfo(Set<PartialRelation>, boolean) - Constructor for record class tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo: Creates an instance of a TypeInfo record class.
typeInfoMap - Variable in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
types(Collection<Map.Entry<PartialRelation, TypeInfo>>) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
types(Collection<Map.Entry<PartialRelation, TypeInfo>>) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
types(Map<PartialRelation, TypeInfo>) - Method in class tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
types(Map<PartialRelation, TypeInfo>) - Method in class tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder

U

UnconstrainedMultiplicity - Class in tools.refinery.store.reasoning.translator.multiplicity
UndirectedCrossReferenceInfo - Record Class in tools.refinery.store.reasoning.translator.crossreference
UndirectedCrossReferenceInfo(PartialRelation, Multiplicity, TruthValue, boolean, Set<PartialRelation>) - Constructor for record class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo: Creates an instance of a UndirectedCrossReferenceInfo record class.
undirectedCrossReferences() - Method in record class tools.refinery.store.reasoning.translator.metamodel.Metamodel: Returns the value of the undirectedCrossReferences record component.
UndirectedCrossReferenceTranslator - Class in tools.refinery.store.reasoning.translator.crossreference
UndirectedCrossReferenceTranslator(PartialRelation, UndirectedCrossReferenceInfo) - Constructor for class tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceTranslator
UNSPECIFIED - Enum constant in enum class tools.refinery.store.reasoning.literal.ConcretenessSpecification
UNSPECIFIED - Enum constant in enum class tools.refinery.store.reasoning.literal.ModalitySpecification
UNTYPED - Static variable in class tools.refinery.store.reasoning.translator.typehierarchy.InferredType
UPPER_CARDINALITY_VIEW - Static variable in class tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator

V

valueOf(String) - Static method in enum class tools.refinery.store.reasoning.literal.Concreteness: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.store.reasoning.literal.ConcretenessSpecification: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.store.reasoning.literal.Modality: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.store.reasoning.literal.ModalitySpecification: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.store.reasoning.translator.RoundingMode: Returns the enum constant of this class with the specified name.
values() - Static method in enum class tools.refinery.store.reasoning.literal.Concreteness: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.store.reasoning.literal.ConcretenessSpecification: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.store.reasoning.literal.Modality: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.store.reasoning.literal.ModalitySpecification: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.store.reasoning.translator.RoundingMode: Returns an array containing the constants of this enum class, in the order they are declared.
valueType() - Method in interface tools.refinery.store.reasoning.seed.Seed

W

withArguments(Constraint, List<Variable>) - Method in class tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral
withArguments(Constraint, List<Variable>) - Method in class tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral
withArguments(Constraint, List<Variable>) - Method in class tools.refinery.store.reasoning.literal.CountLowerBoundLiteral
withArguments(Constraint, List<Variable>) - Method in class tools.refinery.store.reasoning.literal.CountUpperBoundLiteral

Z

zero() - Method in class tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral
zero() - Method in class tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral
zero() - Method in class tools.refinery.store.reasoning.literal.CountLowerBoundLiteral
zero() - Method in class tools.refinery.store.reasoning.literal.CountUpperBoundLiteral

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