Index
All Classes and Interfaces|All Packages|Serialized Form
A
- addTrace(EObject, Throwable) - Static method in exception class tools.refinery.language.semantics.TracedException
C
- configureStoreBuilder(ModelStoreBuilder) - Method in class tools.refinery.language.semantics.ModelInitializer
- createModel(Problem, ModelStoreBuilder) - Method in class tools.refinery.language.semantics.ModelInitializer
D
- DecisionTreeValue - Enum Class in tools.refinery.language.semantics.internal
E
- ERROR - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
F
- FALSE - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
- fromTruthValue(TruthValue) - Static method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
G
- getElement(Problem, IScope, QualifiedName, Class<T>) - Method in class tools.refinery.language.semantics.SemanticsUtils
- getInverseRelationTrace() - Method in interface tools.refinery.language.semantics.ProblemTrace
- getInverseRuleDefinitionTrace() - Method in interface tools.refinery.language.semantics.ProblemTrace
- getLocalElement(Problem, QualifiedName, Class<T>, EClass) - Method in class tools.refinery.language.semantics.SemanticsUtils
- getMessage() - Method in exception class tools.refinery.language.semantics.TracedException
- getMetamodel() - Method in interface tools.refinery.language.semantics.ProblemTrace
- getModelSeed() - Method in class tools.refinery.language.semantics.ModelInitializer
- getNameWithoutRootPrefix(EObject) - Method in class tools.refinery.language.semantics.SemanticsUtils
- getNextName(String) - Method in class tools.refinery.language.semantics.NodeNameProvider
- getNodeId(String) - Method in interface tools.refinery.language.semantics.ProblemTrace
- getNodeId(QualifiedName) - Method in interface tools.refinery.language.semantics.ProblemTrace
- getNodeId(Node) - Method in interface tools.refinery.language.semantics.ProblemTrace
- getNodeTrace() - Method in interface tools.refinery.language.semantics.ProblemTrace
- getPartialRelation(String) - Method in interface tools.refinery.language.semantics.ProblemTrace
- getPartialRelation(QualifiedName) - Method in interface tools.refinery.language.semantics.ProblemTrace
- getPartialRelation(Relation) - Method in interface tools.refinery.language.semantics.ProblemTrace
- getProblem() - Method in interface tools.refinery.language.semantics.ProblemTrace
- getProblemTrace() - Method in class tools.refinery.language.semantics.ModelInitializer
- getRelation(AnyPartialSymbol) - Method in interface tools.refinery.language.semantics.ProblemTrace
- getRelationTrace() - Method in interface tools.refinery.language.semantics.ProblemTrace
- getRuleDefinition(Rule) - Method in interface tools.refinery.language.semantics.ProblemTrace
- getSourceElement() - Method in exception class tools.refinery.language.semantics.TracedException
- getTruthValue() - Method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
- getTruthValue(Expr) - Static method in class tools.refinery.language.semantics.SemanticsUtils
- getTruthValueOrElse(TruthValue) - Method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
I
- isKeepShadowPredicates() - Method in class tools.refinery.language.semantics.ModelInitializer
M
- maybeGetElement(Problem, IScope, QualifiedName, Class<T>) - Method in class tools.refinery.language.semantics.SemanticsUtils
- maybeGetLocalElement(Problem, QualifiedName, Class<T>, EClass) - Method in class tools.refinery.language.semantics.SemanticsUtils
- merge(TruthValue) - Method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
- mergeValue(Tuple, T) - Method in interface tools.refinery.language.semantics.internal.MutableSeed
- ModelInitializer - Class in tools.refinery.language.semantics
- ModelInitializer() - Constructor for class tools.refinery.language.semantics.ModelInitializer
- MutableSeed<T> - Interface in tools.refinery.language.semantics.internal
N
- NodeNameProvider - Class in tools.refinery.language.semantics
- NodeNameProvider() - Constructor for class tools.refinery.language.semantics.NodeNameProvider
O
- of(int, TruthValue) - Static method in interface tools.refinery.language.semantics.internal.MutableSeed
- overwrite(DecisionTreeValue) - Method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
- overwriteValues(MutableSeed<T>) - Method in interface tools.refinery.language.semantics.internal.MutableSeed
P
- ProblemTrace - Interface in tools.refinery.language.semantics
Q
- QueryCompiler - Class in tools.refinery.language.semantics.internal.query
- QueryCompiler() - Constructor for class tools.refinery.language.semantics.internal.query.QueryCompiler
R
- readProblem(Problem) - Method in class tools.refinery.language.semantics.ModelInitializer
- RuleCompiler - Class in tools.refinery.language.semantics.internal.query
- RuleCompiler() - Constructor for class tools.refinery.language.semantics.internal.query.RuleCompiler
S
- SemanticsUtils - Class in tools.refinery.language.semantics
- SemanticsUtils() - Constructor for class tools.refinery.language.semantics.SemanticsUtils
- serializeSolution(ProblemTrace, Model) - Method in class tools.refinery.language.semantics.SolutionSerializer
- serializeSolution(ProblemTrace, Model, URI) - Method in class tools.refinery.language.semantics.SolutionSerializer
- setAllMissing(T) - Method in interface tools.refinery.language.semantics.internal.MutableSeed
- setIfMissing(Tuple, T) - Method in interface tools.refinery.language.semantics.internal.MutableSeed
- setKeepNonExistingObjects(boolean) - Method in class tools.refinery.language.semantics.ModelInitializer
- setKeepShadowPredicates(boolean) - Method in class tools.refinery.language.semantics.ModelInitializer
- setProblem(Problem) - Method in class tools.refinery.language.semantics.NodeNameProvider
- setProblemTrace(ProblemTrace) - Method in class tools.refinery.language.semantics.internal.query.QueryCompiler
- setQueryCompiler(QueryCompiler) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
- SolutionSerializer - Class in tools.refinery.language.semantics
- SolutionSerializer() - Constructor for class tools.refinery.language.semantics.SolutionSerializer
T
- toDecisionRule(String, RuleDefinition) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
- tools.refinery.language.semantics - package tools.refinery.language.semantics
- tools.refinery.language.semantics.internal - package tools.refinery.language.semantics.internal
- tools.refinery.language.semantics.internal.query - package tools.refinery.language.semantics.internal.query
- toPropagationRules(String, RuleDefinition) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
- toQuery(String, PredicateDefinition) - Method in class tools.refinery.language.semantics.internal.query.QueryCompiler
- toRule(String, RuleDefinition) - Method in class tools.refinery.language.semantics.internal.query.RuleCompiler
- TracedException - Exception Class in tools.refinery.language.semantics
- TracedException(EObject) - Constructor for exception class tools.refinery.language.semantics.TracedException
- TracedException(EObject, String) - Constructor for exception class tools.refinery.language.semantics.TracedException
- TracedException(EObject, String, Throwable) - Constructor for exception class tools.refinery.language.semantics.TracedException
- TracedException(EObject, Throwable) - Constructor for exception class tools.refinery.language.semantics.TracedException
- TRUE - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
U
- UNKNOWN - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
- UNSET - Enum constant in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
V
- valueOf(String) - Static method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
-
Returns the enum constant of this class with the specified name.
- values() - Static method in enum class tools.refinery.language.semantics.internal.DecisionTreeValue
-
Returns an array containing the constants of this enum class, in the order they are declared.
W
- wrapException(TranslationException) - Method in interface tools.refinery.language.semantics.ProblemTrace
All Classes and Interfaces|All Packages|Serialized Form