Index

A C D E F G M N O P Q R S T U V W
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

configureStoreBuilder(ModelStoreBuilder, boolean) - 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

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

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

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