Index (refinery-language-model 0.1.0 API)

A B C D E F G I J K L M N O P Q R S T U V W X
All Classes and Interfaces|All Packages|Constant Field Values

A

abstract_ - Variable in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl: The cached value of the 'Abstract' attribute.
ABSTRACT_ASSERTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Abstract Assertion' class.
ABSTRACT_ASSERTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Abstract Assertion' class.
ABSTRACT_ASSERTION__ARGUMENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Arguments' containment reference list.
ABSTRACT_ASSERTION__ARGUMENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Arguments' containment reference list feature.
ABSTRACT_ASSERTION__RELATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Relation' reference.
ABSTRACT_ASSERTION__RELATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Relation' reference feature.
ABSTRACT_ASSERTION__VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Value' containment reference.
ABSTRACT_ASSERTION__VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Value' containment reference feature.
ABSTRACT_ASSERTION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Abstract Assertion' class.
ABSTRACT_ASSERTION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Abstract Assertion' class.
ABSTRACT_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl: The default value of the 'Abstract' attribute.
AbstractAssertion - Interface in tools.refinery.language.model.problem: A representation of the model object 'Abstract Assertion'.
AbstractAssertionImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Abstract Assertion'.
AbstractAssertionImpl() - Constructor for class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
Action - Interface in tools.refinery.language.model.problem: A representation of the model object 'Action'.
ACTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Action' class.
ACTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Action' class.
ACTION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Action' class.
ACTION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Action' class.
actions - Variable in class tools.refinery.language.model.problem.impl.ConsequentImpl: The cached value of the 'Actions' containment reference list.
ADD - Enum constant in enum class tools.refinery.language.model.problem.BinaryOp: The 'ADD' literal object.
ADD_VALUE - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: The 'ADD' literal value.
AGGREGATION_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Aggregation Expr' class.
AGGREGATION_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Aggregation Expr' class.
AGGREGATION_EXPR__AGGREGATOR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Aggregator' reference.
AGGREGATION_EXPR__AGGREGATOR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Aggregator' reference feature.
AGGREGATION_EXPR__CONDITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Condition' containment reference.
AGGREGATION_EXPR__CONDITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Condition' containment reference feature.
AGGREGATION_EXPR__IMPLICIT_VARIABLES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Implicit Variables' containment reference list.
AGGREGATION_EXPR__VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Value' containment reference.
AGGREGATION_EXPR__VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Value' containment reference feature.
AGGREGATION_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Aggregation Expr' class.
AGGREGATION_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Aggregation Expr' class.
AggregationExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Aggregation Expr'.
AggregationExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Aggregation Expr'.
AggregationExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.AggregationExprImpl
aggregator - Variable in class tools.refinery.language.model.problem.impl.AggregationExprImpl: The cached value of the 'Aggregator' reference.
AGGREGATOR_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Aggregator Declaration' class.
AGGREGATOR_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Aggregator Declaration' class.
AGGREGATOR_DECLARATION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
AGGREGATOR_DECLARATION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Aggregator Declaration' class.
AGGREGATOR_DECLARATION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Aggregator Declaration' class.
AggregatorDeclaration - Interface in tools.refinery.language.model.problem: A representation of the model object 'Aggregator Declaration'.
AggregatorDeclarationImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Aggregator Declaration'.
AggregatorDeclarationImpl() - Constructor for class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
alias - Variable in class tools.refinery.language.model.problem.impl.ImportStatementImpl: The cached value of the 'Alias' attribute.
ALIAS_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ImportStatementImpl: The default value of the 'Alias' attribute.
AND - Enum constant in enum class tools.refinery.language.model.problem.BinaryOp: The 'AND' literal object.
AND_VALUE - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: The 'AND' literal value.
arguments - Variable in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl: The cached value of the 'Arguments' containment reference list.
arguments - Variable in class tools.refinery.language.model.problem.impl.AssertionActionImpl: The cached value of the 'Arguments' containment reference list.
arguments - Variable in class tools.refinery.language.model.problem.impl.AssertionImpl: The cached value of the 'Arguments' containment reference list.
arguments - Variable in class tools.refinery.language.model.problem.impl.AtomImpl: The cached value of the 'Arguments' containment reference list.
ARITHMETIC_BINARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Arithmetic Binary Expr' class.
ARITHMETIC_BINARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Arithmetic Binary Expr' class.
ARITHMETIC_BINARY_EXPR__LEFT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Left' containment reference.
ARITHMETIC_BINARY_EXPR__OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Op' attribute.
ARITHMETIC_BINARY_EXPR__OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Op' attribute feature.
ARITHMETIC_BINARY_EXPR__RIGHT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Right' containment reference.
ARITHMETIC_BINARY_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Arithmetic Binary Expr' class.
ARITHMETIC_BINARY_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Arithmetic Binary Expr' class.
ARITHMETIC_UNARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Arithmetic Unary Expr' class.
ARITHMETIC_UNARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Arithmetic Unary Expr' class.
ARITHMETIC_UNARY_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Body' containment reference.
ARITHMETIC_UNARY_EXPR__OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Op' attribute.
ARITHMETIC_UNARY_EXPR__OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Op' attribute feature.
ARITHMETIC_UNARY_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Arithmetic Unary Expr' class.
ARITHMETIC_UNARY_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Arithmetic Unary Expr' class.
ArithmeticBinaryExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Arithmetic Binary Expr'.
ArithmeticBinaryExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Arithmetic Binary Expr'.
ArithmeticBinaryExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
ArithmeticUnaryExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Arithmetic Unary Expr'.
ArithmeticUnaryExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Arithmetic Unary Expr'.
ArithmeticUnaryExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
Assertion - Interface in tools.refinery.language.model.problem: A representation of the model object 'Assertion'.
ASSERTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Assertion' class.
ASSERTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Assertion' class.
ASSERTION__ARGUMENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Arguments' containment reference list.
ASSERTION__DEFAULT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Default' attribute.
ASSERTION__DEFAULT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Default' attribute feature.
ASSERTION__RELATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Relation' reference.
ASSERTION__VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Value' containment reference.
ASSERTION_ACTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Assertion Action' class.
ASSERTION_ACTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Assertion Action' class.
ASSERTION_ACTION__ARGUMENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Arguments' containment reference list.
ASSERTION_ACTION__RELATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Relation' reference.
ASSERTION_ACTION__VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Value' containment reference.
ASSERTION_ACTION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Assertion Action' class.
ASSERTION_ACTION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Assertion Action' class.
ASSERTION_ARGUMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Assertion Argument' class.
ASSERTION_ARGUMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Assertion Argument' class.
ASSERTION_ARGUMENT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Assertion Argument' class.
ASSERTION_ARGUMENT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Assertion Argument' class.
ASSERTION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Assertion' class.
ASSERTION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Assertion' class.
AssertionAction - Interface in tools.refinery.language.model.problem: A representation of the model object 'Assertion Action'.
AssertionActionImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Assertion Action'.
AssertionActionImpl() - Constructor for class tools.refinery.language.model.problem.impl.AssertionActionImpl
AssertionArgument - Interface in tools.refinery.language.model.problem: A representation of the model object 'Assertion Argument'.
AssertionArgumentImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Assertion Argument'.
AssertionArgumentImpl() - Constructor for class tools.refinery.language.model.problem.impl.AssertionArgumentImpl
AssertionImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Assertion'.
AssertionImpl() - Constructor for class tools.refinery.language.model.problem.impl.AssertionImpl
ASSIGNMENT_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Assignment Expr' class.
ASSIGNMENT_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Assignment Expr' class.
ASSIGNMENT_EXPR__LEFT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Left' containment reference.
ASSIGNMENT_EXPR__RIGHT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Right' containment reference.
ASSIGNMENT_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Assignment Expr' class.
ASSIGNMENT_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Assignment Expr' class.
AssignmentExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Assignment Expr'.
AssignmentExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Assignment Expr'.
AssignmentExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.AssignmentExprImpl
Atom - Interface in tools.refinery.language.model.problem: A representation of the model object 'Atom'.
ATOM - Enum constant in enum class tools.refinery.language.model.problem.NodeKind: The 'ATOM' literal object.
ATOM - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Atom' class.
ATOM - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Atom' class.
ATOM__ARGUMENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Arguments' containment reference list.
ATOM__ARGUMENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Arguments' containment reference list feature.
ATOM__RELATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Relation' reference.
ATOM__RELATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Relation' reference feature.
ATOM__TRANSITIVE_CLOSURE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Transitive Closure' attribute.
ATOM__TRANSITIVE_CLOSURE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Transitive Closure' attribute feature.
ATOM_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Atom' class.
ATOM_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Atom' class.
ATOM_VALUE - Static variable in enum class tools.refinery.language.model.problem.NodeKind: The 'ATOM' literal value.
AtomImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Atom'.
AtomImpl() - Constructor for class tools.refinery.language.model.problem.impl.AtomImpl

B

basicGetAggregator() - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
basicGetFunctionType() - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
basicGetImportedModule() - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
basicGetNode() - Method in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
basicGetOpposite() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
basicGetParameterType() - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
basicGetReferenceType() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
basicGetRelation() - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
basicGetRelation() - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
basicGetRelation() - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
basicGetRelation() - Method in class tools.refinery.language.model.problem.impl.AtomImpl
basicGetTargetType() - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
basicGetTargetType() - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
basicGetVariableOrNode() - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
basicSetBody(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
basicSetBody(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
basicSetBody(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
basicSetComputedValue(PredicateDefinition, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
basicSetCondition(Conjunction, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
basicSetCondition(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
basicSetInvalidMultiplicity(Relation, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
basicSetLeft(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
basicSetMultiplicity(Multiplicity, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
basicSetMultiplicity(Multiplicity, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
basicSetNewNode(Node, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
basicSetRight(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
basicSetSingletonVariable(ImplicitVariable, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
basicSetValue(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
basicSetValue(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
basicSetValue(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
basicSetValue(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
basicSetValue(Expr, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
BINARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Binary Expr' class.
BINARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Binary Expr' class.
BINARY_EXPR__LEFT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Left' containment reference.
BINARY_EXPR__LEFT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Left' containment reference feature.
BINARY_EXPR__RIGHT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Right' containment reference.
BINARY_EXPR__RIGHT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Right' containment reference feature.
BINARY_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Binary Expr' class.
BINARY_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Binary Expr' class.
BINARY_OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Binary Op' enum.
BINARY_OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Binary Op' enum.
BinaryExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Binary Expr'.
BinaryExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Binary Expr'.
BinaryExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.BinaryExprImpl
BinaryOp - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Binary Op', and utility methods for working with them.
binding - Variable in class tools.refinery.language.model.problem.impl.ParameterImpl: The cached value of the 'Binding' attribute.
BINDING_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ParameterImpl: The default value of the 'Binding' attribute.
bodies - Variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The cached value of the 'Bodies' containment reference list.
body - Variable in class tools.refinery.language.model.problem.impl.CastExprImpl: The cached value of the 'Body' containment reference.
body - Variable in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl: The cached value of the 'Body' containment reference.
body - Variable in class tools.refinery.language.model.problem.impl.UnaryExprImpl: The cached value of the 'Body' containment reference.

C

CANDIDATE - Enum constant in enum class tools.refinery.language.model.problem.Concreteness: The 'CANDIDATE' literal object.
CANDIDATE_VALUE - Static variable in enum class tools.refinery.language.model.problem.Concreteness: The 'CANDIDATE' literal value.
Case - Interface in tools.refinery.language.model.problem: A representation of the model object 'Case'.
CASE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Case' class.
CASE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Case' class.
CASE_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Case' class.
CASE_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Case' class.
caseAbstractAssertion(AbstractAssertion) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Abstract Assertion'.
caseAction(Action) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Action'.
caseAggregationExpr(AggregationExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Aggregation Expr'.
caseAggregatorDeclaration(AggregatorDeclaration) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Aggregator Declaration'.
caseArithmeticBinaryExpr(ArithmeticBinaryExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Arithmetic Binary Expr'.
caseArithmeticUnaryExpr(ArithmeticUnaryExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Arithmetic Unary Expr'.
caseAssertion(Assertion) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Assertion'.
caseAssertionAction(AssertionAction) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Assertion Action'.
caseAssertionArgument(AssertionArgument) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Assertion Argument'.
caseAssignmentExpr(AssignmentExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Assignment Expr'.
caseAtom(Atom) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Atom'.
caseBinaryExpr(BinaryExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Binary Expr'.
caseCase(Case) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Case'.
caseCastExpr(CastExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Cast Expr'.
caseClassDeclaration(ClassDeclaration) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Class Declaration'.
caseComparisonExpr(ComparisonExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Comparison Expr'.
caseConjunction(Conjunction) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Conjunction'.
caseConsequent(Consequent) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Consequent'.
caseConstant(Constant) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Constant'.
caseCountExpr(CountExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Count Expr'.
caseDatatypeDeclaration(DatatypeDeclaration) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Datatype Declaration'.
caseEnumDeclaration(EnumDeclaration) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Enum Declaration'.
caseExactMultiplicity(ExactMultiplicity) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Exact Multiplicity'.
caseExistentialQuantifier(ExistentialQuantifier) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Existential Quantifier'.
caseExpr(Expr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Expr'.
caseFunctionDefinition(FunctionDefinition) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Function Definition'.
CaseImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Case'.
CaseImpl() - Constructor for class tools.refinery.language.model.problem.impl.CaseImpl
caseImplicitVariable(ImplicitVariable) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Implicit Variable'.
caseImportStatement(ImportStatement) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Import Statement'.
caseInfiniteConstant(InfiniteConstant) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Infinite Constant'.
caseIntConstant(IntConstant) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Int Constant'.
caseLatticeBinaryExpr(LatticeBinaryExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Lattice Binary Expr'.
caseLogicConstant(LogicConstant) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Logic Constant'.
caseMatch(Match) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Match'.
caseModalExpr(ModalExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Modal Expr'.
caseMultiplicity(Multiplicity) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Multiplicity'.
caseNamedElement(NamedElement) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Named Element'.
caseNegationExpr(NegationExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Negation Expr'.
caseNode(Node) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Node'.
caseNodeAssertionArgument(NodeAssertionArgument) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Node Assertion Argument'.
caseNodeDeclaration(NodeDeclaration) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Node Declaration'.
caseParameter(Parameter) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Parameter'.
caseParametricDefinition(ParametricDefinition) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Parametric Definition'.
casePredicateDefinition(PredicateDefinition) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Predicate Definition'.
caseProblem(Problem) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Problem'.
caseQuantifiedUnaryExpr(QuantifiedUnaryExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Quantified Unary Expr'.
caseRangeExpr(RangeExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Range Expr'.
caseRangeMultiplicity(RangeMultiplicity) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Range Multiplicity'.
caseRealConstant(RealConstant) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Real Constant'.
caseReferenceDeclaration(ReferenceDeclaration) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Reference Declaration'.
caseRelation(Relation) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Relation'.
caseRuleDefinition(RuleDefinition) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Rule Definition'.
cases - Variable in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl: The cached value of the 'Cases' containment reference list.
caseScopeDeclaration(ScopeDeclaration) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Scope Declaration'.
caseStatement(Statement) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Statement'.
caseStringConstant(StringConstant) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'String Constant'.
caseTypeScope(TypeScope) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Type Scope'.
caseUnaryExpr(UnaryExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Unary Expr'.
caseUnboundedMultiplicity(UnboundedMultiplicity) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Unbounded Multiplicity'.
caseVariable(Variable) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Variable'.
caseVariableOrNode(VariableOrNode) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Variable Or Node'.
caseVariableOrNodeExpr(VariableOrNodeExpr) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Variable Or Node Expr'.
caseWildcardAssertionArgument(WildcardAssertionArgument) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'Wildcard Assertion Argument'.
CAST_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Cast Expr' class.
CAST_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Cast Expr' class.
CAST_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Body' containment reference.
CAST_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Body' containment reference feature.
CAST_EXPR__TARGET_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Target Type' reference.
CAST_EXPR__TARGET_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Target Type' reference feature.
CAST_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Cast Expr' class.
CAST_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Cast Expr' class.
CastExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Cast Expr'.
CastExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Cast Expr'.
CastExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.CastExprImpl
CLASS_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Class Declaration' class.
CLASS_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Class Declaration' class.
CLASS_DECLARATION__ABSTRACT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Abstract' attribute.
CLASS_DECLARATION__ABSTRACT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Abstract' attribute feature.
CLASS_DECLARATION__FEATURE_DECLARATIONS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Feature Declarations' containment reference list.
CLASS_DECLARATION__FEATURE_DECLARATIONS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Feature Declarations' containment reference list feature.
CLASS_DECLARATION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
CLASS_DECLARATION__NEW_NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'New Node' containment reference.
CLASS_DECLARATION__NEW_NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'New Node' containment reference feature.
CLASS_DECLARATION__SUPER_TYPES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Super Types' reference list.
CLASS_DECLARATION__SUPER_TYPES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Super Types' reference list feature.
CLASS_DECLARATION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Class Declaration' class.
CLASS_DECLARATION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Class Declaration' class.
ClassDeclaration - Interface in tools.refinery.language.model.problem: A representation of the model object 'Class Declaration'.
ClassDeclarationImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Class Declaration'.
ClassDeclarationImpl() - Constructor for class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
COMPARISON_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Comparison Expr' class.
COMPARISON_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Comparison Expr' class.
COMPARISON_EXPR__LEFT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Left' containment reference.
COMPARISON_EXPR__OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Op' attribute.
COMPARISON_EXPR__OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Op' attribute feature.
COMPARISON_EXPR__RIGHT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Right' containment reference.
COMPARISON_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Comparison Expr' class.
COMPARISON_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Comparison Expr' class.
COMPARISON_OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Comparison Op' enum.
COMPARISON_OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Comparison Op' enum.
ComparisonExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Comparison Expr'.
ComparisonExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Comparison Expr'.
ComparisonExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.ComparisonExprImpl
ComparisonOp - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Comparison Op', and utility methods for working with them.
computedValue - Variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The cached value of the 'Computed Value' containment reference.
concreteness - Variable in class tools.refinery.language.model.problem.impl.ModalExprImpl: The cached value of the 'Concreteness' attribute.
Concreteness - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Concreteness', and utility methods for working with them.
CONCRETENESS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Concreteness' enum.
CONCRETENESS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Concreteness' enum.
CONCRETENESS_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ModalExprImpl: The default value of the 'Concreteness' attribute.
condition - Variable in class tools.refinery.language.model.problem.impl.AggregationExprImpl: The cached value of the 'Condition' containment reference.
condition - Variable in class tools.refinery.language.model.problem.impl.MatchImpl: The cached value of the 'Condition' containment reference.
Conjunction - Interface in tools.refinery.language.model.problem: A representation of the model object 'Conjunction'.
CONJUNCTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Conjunction' class.
CONJUNCTION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Conjunction' class.
CONJUNCTION__IMPLICIT_VARIABLES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Implicit Variables' containment reference list.
CONJUNCTION__LITERALS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Literals' containment reference list.
CONJUNCTION__LITERALS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Literals' containment reference list feature.
CONJUNCTION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Conjunction' class.
CONJUNCTION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Conjunction' class.
ConjunctionImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Conjunction'.
ConjunctionImpl() - Constructor for class tools.refinery.language.model.problem.impl.ConjunctionImpl
Consequent - Interface in tools.refinery.language.model.problem: A representation of the model object 'Consequent'.
CONSEQUENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Consequent' class.
CONSEQUENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Consequent' class.
CONSEQUENT__ACTIONS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Actions' containment reference list.
CONSEQUENT__ACTIONS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Actions' containment reference list feature.
CONSEQUENT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Consequent' class.
CONSEQUENT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Consequent' class.
ConsequentImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Consequent'.
ConsequentImpl() - Constructor for class tools.refinery.language.model.problem.impl.ConsequentImpl
consequents - Variable in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl: The cached value of the 'Consequents' containment reference list.
Constant - Interface in tools.refinery.language.model.problem: A representation of the model object 'Constant'.
CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Constant' class.
CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Constant' class.
CONSTANT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Constant' class.
CONSTANT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Constant' class.
ConstantImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Constant'.
ConstantImpl() - Constructor for class tools.refinery.language.model.problem.impl.ConstantImpl
CONTAINER - Enum constant in enum class tools.refinery.language.model.problem.ReferenceKind: The 'CONTAINER' literal object.
CONTAINER_VALUE - Static variable in enum class tools.refinery.language.model.problem.ReferenceKind: The 'CONTAINER' literal value.
CONTAINMENT - Enum constant in enum class tools.refinery.language.model.problem.ReferenceKind: The 'CONTAINMENT' literal object.
CONTAINMENT_VALUE - Static variable in enum class tools.refinery.language.model.problem.ReferenceKind: The 'CONTAINMENT' literal value.
convertBinaryOpToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertComparisonOpToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertConcretenessToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertLatticeBinaryOpToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertLogicValueToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertModalityToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertModuleKindToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertNodeKindToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertParameterBindingToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertReferenceKindToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertRuleKindToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
convertUnaryOpToString(EDataType, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
COUNT_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Count Expr' class.
COUNT_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Count Expr' class.
COUNT_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Body' containment reference.
COUNT_EXPR__IMPLICIT_VARIABLES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Implicit Variables' containment reference list.
COUNT_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Count Expr' class.
COUNT_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Count Expr' class.
CountExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Count Expr'.
CountExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Count Expr'.
CountExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.CountExprImpl
create(EClass) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createAbstractAssertionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Abstract Assertion'.
createActionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Action'.
createAdapter(Notifier) - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates an adapter for the target.
createAggregationExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createAggregationExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Aggregation Expr'.
createAggregationExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Aggregation Expr'.
createAggregatorDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createAggregatorDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Aggregator Declaration'.
createAggregatorDeclarationAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Aggregator Declaration'.
createArithmeticBinaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createArithmeticBinaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Arithmetic Binary Expr'.
createArithmeticBinaryExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Arithmetic Binary Expr'.
createArithmeticUnaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createArithmeticUnaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Arithmetic Unary Expr'.
createArithmeticUnaryExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Arithmetic Unary Expr'.
createAssertion() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createAssertion() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Assertion'.
createAssertionAction() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createAssertionAction() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Assertion Action'.
createAssertionActionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Assertion Action'.
createAssertionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Assertion'.
createAssertionArgumentAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Assertion Argument'.
createAssignmentExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createAssignmentExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Assignment Expr'.
createAssignmentExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Assignment Expr'.
createAtom() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createAtom() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Atom'.
createAtomAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Atom'.
createBinaryExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Binary Expr'.
createBinaryOpFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createCaseAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Case'.
createCastExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createCastExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Cast Expr'.
createCastExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Cast Expr'.
createClassDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createClassDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Class Declaration'.
createClassDeclarationAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Class Declaration'.
createComparisonExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createComparisonExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Comparison Expr'.
createComparisonExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Comparison Expr'.
createComparisonOpFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createConcretenessFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createConjunction() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createConjunction() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Conjunction'.
createConjunctionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Conjunction'.
createConsequent() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createConsequent() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Consequent'.
createConsequentAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Consequent'.
createConstantAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Constant'.
createCountExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createCountExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Count Expr'.
createCountExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Count Expr'.
createDatatypeDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createDatatypeDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Datatype Declaration'.
createDatatypeDeclarationAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Datatype Declaration'.
createEnumDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createEnumDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Enum Declaration'.
createEnumDeclarationAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Enum Declaration'.
createEObjectAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for the default case.
createExactMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createExactMultiplicity() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Exact Multiplicity'.
createExactMultiplicityAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Exact Multiplicity'.
createExistentialQuantifierAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Existential Quantifier'.
createExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Expr'.
createFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createFunctionDefinition() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createFunctionDefinition() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Function Definition'.
createFunctionDefinitionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Function Definition'.
createImplicitVariable() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createImplicitVariable() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Implicit Variable'.
createImplicitVariableAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Implicit Variable'.
createImportStatement() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createImportStatement() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Import Statement'.
createImportStatementAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Import Statement'.
createInfiniteConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createInfiniteConstant() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Infinite Constant'.
createInfiniteConstantAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Infinite Constant'.
createIntConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createIntConstant() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Int Constant'.
createIntConstantAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Int Constant'.
createLatticeBinaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createLatticeBinaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Lattice Binary Expr'.
createLatticeBinaryExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Lattice Binary Expr'.
createLatticeBinaryOpFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createLogicConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createLogicConstant() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Logic Constant'.
createLogicConstantAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Logic Constant'.
createLogicValueFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createMatch() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createMatch() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Match'.
createMatchAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Match'.
createModalExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createModalExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Modal Expr'.
createModalExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Modal Expr'.
createModalityFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createModuleKindFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createMultiplicityAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Multiplicity'.
createNamedElementAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Named Element'.
createNegationExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createNegationExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Negation Expr'.
createNegationExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Negation Expr'.
createNode() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createNode() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Node'.
createNodeAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Node'.
createNodeAssertionArgument() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createNodeAssertionArgument() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Node Assertion Argument'.
createNodeAssertionArgumentAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Node Assertion Argument'.
createNodeDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createNodeDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Node Declaration'.
createNodeDeclarationAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Node Declaration'.
createNodeKindFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createPackageContents() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl: Creates the meta-model objects for the package.
createParameter() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createParameter() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Parameter'.
createParameterAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Parameter'.
createParameterBindingFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createParametricDefinitionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Parametric Definition'.
createPredicateDefinition() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createPredicateDefinition() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Predicate Definition'.
createPredicateDefinitionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Predicate Definition'.
createProblem() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createProblem() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Problem'.
createProblemAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Problem'.
createQuantifiedUnaryExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Quantified Unary Expr'.
createRangeExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createRangeExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Range Expr'.
createRangeExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Range Expr'.
createRangeMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createRangeMultiplicity() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Range Multiplicity'.
createRangeMultiplicityAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Range Multiplicity'.
createRealConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createRealConstant() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Real Constant'.
createRealConstantAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Real Constant'.
createReferenceDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createReferenceDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Reference Declaration'.
createReferenceDeclarationAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Reference Declaration'.
createReferenceKindFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createRelationAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Relation'.
createResource(URI) - Method in class tools.refinery.language.model.problem.util.ProblemResourceFactoryImpl: Creates an instance of the resource.
createRuleDefinition() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createRuleDefinition() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Rule Definition'.
createRuleDefinitionAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Rule Definition'.
createRuleKindFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createScopeDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createScopeDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Scope Declaration'.
createScopeDeclarationAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Scope Declaration'.
createStatementAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Statement'.
createStringConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createStringConstant() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'String Constant'.
createStringConstantAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'String Constant'.
createTypeScope() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createTypeScope() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Type Scope'.
createTypeScopeAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Type Scope'.
createUnaryExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Unary Expr'.
createUnaryOpFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createUnboundedMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createUnboundedMultiplicity() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Unbounded Multiplicity'.
createUnboundedMultiplicityAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Unbounded Multiplicity'.
createVariableAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Variable'.
createVariableOrNodeAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Variable Or Node'.
createVariableOrNodeExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createVariableOrNodeExpr() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Variable Or Node Expr'.
createVariableOrNodeExprAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Variable Or Node Expr'.
createWildcardAssertionArgument() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
createWildcardAssertionArgument() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns a new object of class 'Wildcard Assertion Argument'.
createWildcardAssertionArgumentAdapter() - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates a new adapter for an object of class 'Wildcard Assertion Argument'.

D

DATATYPE_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Datatype Declaration' class.
DATATYPE_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Datatype Declaration' class.
DATATYPE_DECLARATION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
DATATYPE_DECLARATION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Datatype Declaration' class.
DATATYPE_DECLARATION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Datatype Declaration' class.
DatatypeDeclaration - Interface in tools.refinery.language.model.problem: A representation of the model object 'Datatype Declaration'.
DatatypeDeclarationImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Datatype Declaration'.
DatatypeDeclarationImpl() - Constructor for class tools.refinery.language.model.problem.impl.DatatypeDeclarationImpl
DECISION - Enum constant in enum class tools.refinery.language.model.problem.RuleKind: The 'DECISION' literal object.
DECISION_VALUE - Static variable in enum class tools.refinery.language.model.problem.RuleKind: The 'DECISION' literal value.
DEFAULT - Enum constant in enum class tools.refinery.language.model.problem.ReferenceKind: The 'DEFAULT' literal object.
default_ - Variable in class tools.refinery.language.model.problem.impl.AssertionImpl: The cached value of the 'Default' attribute.
DEFAULT_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.AssertionImpl: The default value of the 'Default' attribute.
DEFAULT_VALUE - Static variable in enum class tools.refinery.language.model.problem.ReferenceKind: The 'DEFAULT' literal value.
defaultCase(EObject) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Returns the result of interpreting the object as an instance of 'EObject'.
DIV - Enum constant in enum class tools.refinery.language.model.problem.BinaryOp: The 'DIV' literal object.
DIV_VALUE - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: The 'DIV' literal value.
doSwitch(int, EObject) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Calls caseXXX for each class of the model until one returns a non null result; it yields that result.

E

eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
eBaseStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
eDerivedStructuralFeatureID(int, Class<?>) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.AtomImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ComparisonExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ConsequentImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.IntConstantImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.LogicConstantImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.NamedElementImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.RealConstantImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.StringConstantImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
eGet(int, boolean, boolean) - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
eINSTANCE - Static variable in interface tools.refinery.language.model.problem.ProblemFactory: The singleton instance of the factory.
eINSTANCE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The singleton instance of the package.
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.AtomImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ConsequentImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
eInverseRemove(InternalEObject, int, NotificationChain) - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.AtomImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ComparisonExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ConsequentImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.IntConstantImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.LogicConstantImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.NamedElementImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.RealConstantImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.StringConstantImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
eIsSet(int) - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
eNAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The package name.
eNS_PREFIX - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The package namespace name.
eNS_URI - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The package namespace URI.
ENUM_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Enum Declaration' class.
ENUM_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Enum Declaration' class.
ENUM_DECLARATION__LITERALS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Literals' containment reference list.
ENUM_DECLARATION__LITERALS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Literals' containment reference list feature.
ENUM_DECLARATION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
ENUM_DECLARATION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Enum Declaration' class.
ENUM_DECLARATION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Enum Declaration' class.
EnumDeclaration - Interface in tools.refinery.language.model.problem: A representation of the model object 'Enum Declaration'.
EnumDeclarationImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Enum Declaration'.
EnumDeclarationImpl() - Constructor for class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
EQ - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'EQ' literal object.
EQ_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'EQ' literal value.
error - Variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The cached value of the 'Error' attribute.
ERROR - Enum constant in enum class tools.refinery.language.model.problem.LogicValue: The 'ERROR' literal object.
ERROR_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The default value of the 'Error' attribute.
ERROR_VALUE - Static variable in enum class tools.refinery.language.model.problem.LogicValue: The 'ERROR' literal value.
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.AtomImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ComparisonExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ConsequentImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.IntConstantImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.LogicConstantImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.NamedElementImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.RealConstantImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.StringConstantImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
eSet(int, Object) - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.AssertionArgumentImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.AssignmentExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.AtomImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.CaseImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ComparisonExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ConsequentImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ConstantImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.CountExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.DatatypeDeclarationImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ImplicitVariableImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.InfiniteConstantImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.IntConstantImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.LogicConstantImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.MatchImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.MultiplicityImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.NamedElementImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.NegationExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.NodeImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.RangeExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.RealConstantImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.RelationImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.StringConstantImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.UnboundedMultiplicityImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.VariableImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeImpl
eStaticClass() - Method in class tools.refinery.language.model.problem.impl.WildcardAssertionArgumentImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.AtomImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ComparisonExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ConsequentImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.IntConstantImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.LogicConstantImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.NamedElementImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.RealConstantImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.StringConstantImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
eUnset(int) - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
EXACT_MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Exact Multiplicity' class.
EXACT_MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Exact Multiplicity' class.
EXACT_MULTIPLICITY__EXACT_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Exact Value' attribute.
EXACT_MULTIPLICITY__EXACT_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Exact Value' attribute feature.
EXACT_MULTIPLICITY_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Exact Multiplicity' class.
EXACT_MULTIPLICITY_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Exact Multiplicity' class.
EXACT_VALUE_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl: The default value of the 'Exact Value' attribute.
ExactMultiplicity - Interface in tools.refinery.language.model.problem: A representation of the model object 'Exact Multiplicity'.
ExactMultiplicityImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Exact Multiplicity'.
ExactMultiplicityImpl() - Constructor for class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
exactValue - Variable in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl: The cached value of the 'Exact Value' attribute.
EXISTENTIAL_QUANTIFIER - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Existential Quantifier' class.
EXISTENTIAL_QUANTIFIER - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Existential Quantifier' class.
EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Implicit Variables' containment reference list.
EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Implicit Variables' containment reference list feature.
EXISTENTIAL_QUANTIFIER_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Existential Quantifier' class.
EXISTENTIAL_QUANTIFIER_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Existential Quantifier' class.
ExistentialQuantifier - Interface in tools.refinery.language.model.problem: A representation of the model object 'Existential Quantifier'.
EXPLICIT_KIND_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ProblemImpl: The default value of the 'Explicit Kind' attribute.
explicitKind - Variable in class tools.refinery.language.model.problem.impl.ProblemImpl: The cached value of the 'Explicit Kind' attribute.
Expr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Expr'.
EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Expr' class.
EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Expr' class.
EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Expr' class.
EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Expr' class.
ExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Expr'.
ExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.ExprImpl

F

FALSE - Enum constant in enum class tools.refinery.language.model.problem.LogicValue: The 'FALSE' literal object.
FALSE_VALUE - Static variable in enum class tools.refinery.language.model.problem.LogicValue: The 'FALSE' literal value.
featureDeclarations - Variable in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl: The cached value of the 'Feature Declarations' containment reference list.
FOCUS - Enum constant in enum class tools.refinery.language.model.problem.ParameterBinding: The 'FOCUS' literal object.
FOCUS_VALUE - Static variable in enum class tools.refinery.language.model.problem.ParameterBinding: The 'FOCUS' literal value.
FUNCTION_DEFINITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Function Definition' class.
FUNCTION_DEFINITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Function Definition' class.
FUNCTION_DEFINITION__CASES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Cases' containment reference list.
FUNCTION_DEFINITION__CASES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Cases' containment reference list feature.
FUNCTION_DEFINITION__FUNCTION_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Function Type' reference.
FUNCTION_DEFINITION__FUNCTION_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Function Type' reference feature.
FUNCTION_DEFINITION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
FUNCTION_DEFINITION__PARAMETERS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Parameters' containment reference list.
FUNCTION_DEFINITION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Function Definition' class.
FUNCTION_DEFINITION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Function Definition' class.
FunctionDefinition - Interface in tools.refinery.language.model.problem: A representation of the model object 'Function Definition'.
FunctionDefinitionImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Function Definition'.
FunctionDefinitionImpl() - Constructor for class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
functionType - Variable in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl: The cached value of the 'Function Type' reference.

G

get(int) - Static method in enum class tools.refinery.language.model.problem.BinaryOp: Returns the 'Binary Op' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.ComparisonOp: Returns the 'Comparison Op' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.Concreteness: Returns the 'Concreteness' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.LatticeBinaryOp: Returns the 'Lattice Binary Op' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.LogicValue: Returns the 'Logic Value' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.Modality: Returns the 'Modality' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.ModuleKind: Returns the 'Module Kind' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.NodeKind: Returns the 'Node Kind' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.ParameterBinding: Returns the 'Parameter Binding' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.ReferenceKind: Returns the 'Reference Kind' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.RuleKind: Returns the 'Rule Kind' literal with the specified integer value.
get(int) - Static method in enum class tools.refinery.language.model.problem.UnaryOp: Returns the 'Unary Op' literal with the specified integer value.
get(String) - Static method in enum class tools.refinery.language.model.problem.BinaryOp: Returns the 'Binary Op' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.ComparisonOp: Returns the 'Comparison Op' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.Concreteness: Returns the 'Concreteness' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.LatticeBinaryOp: Returns the 'Lattice Binary Op' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.LogicValue: Returns the 'Logic Value' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.Modality: Returns the 'Modality' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.ModuleKind: Returns the 'Module Kind' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.NodeKind: Returns the 'Node Kind' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.ParameterBinding: Returns the 'Parameter Binding' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.ReferenceKind: Returns the 'Reference Kind' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.RuleKind: Returns the 'Rule Kind' literal with the specified literal value.
get(String) - Static method in enum class tools.refinery.language.model.problem.UnaryOp: Returns the 'Unary Op' literal with the specified literal value.
getAbstractAssertion() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAbstractAssertion() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Abstract Assertion'.
getAbstractAssertion_Arguments() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAbstractAssertion_Arguments() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Arguments'.
getAbstractAssertion_Relation() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAbstractAssertion_Relation() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Relation'.
getAbstractAssertion_Value() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAbstractAssertion_Value() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Value'.
getAction() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAction() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Action'.
getActions() - Method in interface tools.refinery.language.model.problem.Consequent: Returns the value of the 'Actions' containment reference list.
getActions() - Method in class tools.refinery.language.model.problem.impl.ConsequentImpl
getAggregationExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAggregationExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Aggregation Expr'.
getAggregationExpr_Aggregator() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAggregationExpr_Aggregator() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Aggregator'.
getAggregationExpr_Condition() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAggregationExpr_Condition() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Condition'.
getAggregationExpr_Value() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAggregationExpr_Value() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Value'.
getAggregator() - Method in interface tools.refinery.language.model.problem.AggregationExpr: Returns the value of the 'Aggregator' reference.
getAggregator() - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
getAggregatorDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAggregatorDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Aggregator Declaration'.
getAlias() - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
getAlias() - Method in interface tools.refinery.language.model.problem.ImportStatement: Returns the value of the 'Alias' attribute.
getArguments() - Method in interface tools.refinery.language.model.problem.AbstractAssertion: Returns the value of the 'Arguments' containment reference list.
getArguments() - Method in interface tools.refinery.language.model.problem.Atom: Returns the value of the 'Arguments' containment reference list.
getArguments() - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
getArguments() - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
getArguments() - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
getArguments() - Method in class tools.refinery.language.model.problem.impl.AtomImpl
getArithmeticBinaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getArithmeticBinaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Arithmetic Binary Expr'.
getArithmeticBinaryExpr_Op() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getArithmeticBinaryExpr_Op() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Op'.
getArithmeticUnaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getArithmeticUnaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Arithmetic Unary Expr'.
getArithmeticUnaryExpr_Op() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getArithmeticUnaryExpr_Op() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Op'.
getAssertion() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAssertion() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Assertion'.
getAssertion_Default() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAssertion_Default() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Default'.
getAssertionAction() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAssertionAction() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Assertion Action'.
getAssertionArgument() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAssertionArgument() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Assertion Argument'.
getAssignmentExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAssignmentExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Assignment Expr'.
getAtom() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAtom() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Atom'.
getAtom_Arguments() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAtom_Arguments() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Arguments'.
getAtom_Relation() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAtom_Relation() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Relation'.
getAtom_TransitiveClosure() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getAtom_TransitiveClosure() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Transitive Closure'.
getBinaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getBinaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Binary Expr'.
getBinaryExpr_Left() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getBinaryExpr_Left() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Left'.
getBinaryExpr_Right() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getBinaryExpr_Right() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Right'.
getBinaryOp() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getBinaryOp() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Binary Op'.
getBinding() - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
getBinding() - Method in interface tools.refinery.language.model.problem.Parameter: Returns the value of the 'Binding' attribute.
getBodies() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
getBodies() - Method in interface tools.refinery.language.model.problem.PredicateDefinition: Returns the value of the 'Bodies' containment reference list.
getBody() - Method in interface tools.refinery.language.model.problem.CastExpr: Returns the value of the 'Body' containment reference.
getBody() - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
getBody() - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
getBody() - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
getBody() - Method in interface tools.refinery.language.model.problem.UnaryExpr: Returns the value of the 'Body' containment reference.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.BinaryOp: Returns the 'Binary Op' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.ComparisonOp: Returns the 'Comparison Op' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.Concreteness: Returns the 'Concreteness' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.LatticeBinaryOp: Returns the 'Lattice Binary Op' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.LogicValue: Returns the 'Logic Value' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.Modality: Returns the 'Modality' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.ModuleKind: Returns the 'Module Kind' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.NodeKind: Returns the 'Node Kind' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.ParameterBinding: Returns the 'Parameter Binding' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.ReferenceKind: Returns the 'Reference Kind' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.RuleKind: Returns the 'Rule Kind' literal with the specified name.
getByName(String) - Static method in enum class tools.refinery.language.model.problem.UnaryOp: Returns the 'Unary Op' literal with the specified name.
getCase() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getCase() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Case'.
getCases() - Method in interface tools.refinery.language.model.problem.FunctionDefinition: Returns the value of the 'Cases' containment reference list.
getCases() - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
getCastExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getCastExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Cast Expr'.
getCastExpr_Body() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getCastExpr_Body() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Body'.
getCastExpr_TargetType() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getCastExpr_TargetType() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Target Type'.
getClassDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getClassDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Class Declaration'.
getClassDeclaration_Abstract() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getClassDeclaration_Abstract() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Abstract'.
getClassDeclaration_FeatureDeclarations() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getClassDeclaration_FeatureDeclarations() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Feature Declarations'.
getClassDeclaration_NewNode() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getClassDeclaration_NewNode() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'New Node'.
getClassDeclaration_SuperTypes() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getClassDeclaration_SuperTypes() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference list 'Super Types'.
getComparisonExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getComparisonExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Comparison Expr'.
getComparisonExpr_Op() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getComparisonExpr_Op() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Op'.
getComparisonOp() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getComparisonOp() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Comparison Op'.
getComputedValue() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
getComputedValue() - Method in interface tools.refinery.language.model.problem.PredicateDefinition: Returns the value of the 'Computed Value' containment reference.
getConcreteness() - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
getConcreteness() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getConcreteness() - Method in interface tools.refinery.language.model.problem.ModalExpr: Returns the value of the 'Concreteness' attribute.
getConcreteness() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Concreteness'.
getCondition() - Method in interface tools.refinery.language.model.problem.AggregationExpr: Returns the value of the 'Condition' containment reference.
getCondition() - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
getCondition() - Method in class tools.refinery.language.model.problem.impl.MatchImpl
getCondition() - Method in interface tools.refinery.language.model.problem.Match: Returns the value of the 'Condition' containment reference.
getConjunction() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getConjunction() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Conjunction'.
getConjunction_Literals() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getConjunction_Literals() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Literals'.
getConsequent() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getConsequent() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Consequent'.
getConsequent_Actions() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getConsequent_Actions() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Actions'.
getConsequents() - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
getConsequents() - Method in interface tools.refinery.language.model.problem.RuleDefinition: Returns the value of the 'Consequents' containment reference list.
getConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getConstant() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Constant'.
getCountExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getCountExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Count Expr'.
getDatatypeDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getDatatypeDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Datatype Declaration'.
getEnumDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getEnumDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Enum Declaration'.
getEnumDeclaration_Literals() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getEnumDeclaration_Literals() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Literals'.
getExactMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getExactMultiplicity() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Exact Multiplicity'.
getExactMultiplicity_ExactValue() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getExactMultiplicity_ExactValue() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Exact Value'.
getExactValue() - Method in interface tools.refinery.language.model.problem.ExactMultiplicity: Returns the value of the 'Exact Value' attribute.
getExactValue() - Method in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
getExistentialQuantifier() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getExistentialQuantifier() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Existential Quantifier'.
getExistentialQuantifier_ImplicitVariables() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getExistentialQuantifier_ImplicitVariables() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Implicit Variables'.
getExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Expr'.
getFeatureDeclarations() - Method in interface tools.refinery.language.model.problem.ClassDeclaration: Returns the value of the 'Feature Declarations' containment reference list.
getFeatureDeclarations() - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
getFunctionDefinition() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getFunctionDefinition() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Function Definition'.
getFunctionDefinition_Cases() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getFunctionDefinition_Cases() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Cases'.
getFunctionDefinition_FunctionType() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getFunctionDefinition_FunctionType() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Function Type'.
getFunctionType() - Method in interface tools.refinery.language.model.problem.FunctionDefinition: Returns the value of the 'Function Type' reference.
getFunctionType() - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
getImplicitVariable() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getImplicitVariable() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Implicit Variable'.
getImplicitVariables() - Method in interface tools.refinery.language.model.problem.ExistentialQuantifier: Returns the value of the 'Implicit Variables' containment reference list.
getImplicitVariables() - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
getImplicitVariables() - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
getImplicitVariables() - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
getImportedModule() - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
getImportedModule() - Method in interface tools.refinery.language.model.problem.ImportStatement: Returns the value of the 'Imported Module' reference.
getImportStatement() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getImportStatement() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Import Statement'.
getImportStatement_Alias() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getImportStatement_Alias() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Alias'.
getImportStatement_ImportedModule() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getImportStatement_ImportedModule() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Imported Module'.
getInfiniteConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getInfiniteConstant() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Infinite Constant'.
getIntConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getIntConstant() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Int Constant'.
getIntConstant_IntValue() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getIntConstant_IntValue() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Int Value'.
getIntValue() - Method in class tools.refinery.language.model.problem.impl.IntConstantImpl
getIntValue() - Method in interface tools.refinery.language.model.problem.IntConstant: Returns the value of the 'Int Value' attribute.
getInvalidMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
getInvalidMultiplicity() - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Returns the value of the 'Invalid Multiplicity' containment reference.
getKind() - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
getKind() - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
getKind() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
getKind() - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
getKind() - Method in interface tools.refinery.language.model.problem.NodeDeclaration: Returns the value of the 'Kind' attribute.
getKind() - Method in interface tools.refinery.language.model.problem.Problem: Returns the value of the 'Kind' attribute.
getKind() - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Returns the value of the 'Kind' attribute.
getKind() - Method in interface tools.refinery.language.model.problem.RuleDefinition: Returns the value of the 'Kind' attribute.
getLatticeBinaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getLatticeBinaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Lattice Binary Expr'.
getLatticeBinaryExpr_Op() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getLatticeBinaryExpr_Op() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Op'.
getLatticeBinaryOp() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getLatticeBinaryOp() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Lattice Binary Op'.
getLeft() - Method in interface tools.refinery.language.model.problem.BinaryExpr: Returns the value of the 'Left' containment reference.
getLeft() - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
getLiteral() - Method in enum class tools.refinery.language.model.problem.BinaryOp
getLiteral() - Method in enum class tools.refinery.language.model.problem.ComparisonOp
getLiteral() - Method in enum class tools.refinery.language.model.problem.Concreteness
getLiteral() - Method in enum class tools.refinery.language.model.problem.LatticeBinaryOp
getLiteral() - Method in enum class tools.refinery.language.model.problem.LogicValue
getLiteral() - Method in enum class tools.refinery.language.model.problem.Modality
getLiteral() - Method in enum class tools.refinery.language.model.problem.ModuleKind
getLiteral() - Method in enum class tools.refinery.language.model.problem.NodeKind
getLiteral() - Method in enum class tools.refinery.language.model.problem.ParameterBinding
getLiteral() - Method in enum class tools.refinery.language.model.problem.ReferenceKind
getLiteral() - Method in enum class tools.refinery.language.model.problem.RuleKind
getLiteral() - Method in enum class tools.refinery.language.model.problem.UnaryOp
getLiterals() - Method in interface tools.refinery.language.model.problem.Conjunction: Returns the value of the 'Literals' containment reference list.
getLiterals() - Method in interface tools.refinery.language.model.problem.EnumDeclaration: Returns the value of the 'Literals' containment reference list.
getLiterals() - Method in class tools.refinery.language.model.problem.impl.ConjunctionImpl
getLiterals() - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
getLogicConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getLogicConstant() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Logic Constant'.
getLogicConstant_LogicValue() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getLogicConstant_LogicValue() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Logic Value'.
getLogicValue() - Method in class tools.refinery.language.model.problem.impl.LogicConstantImpl
getLogicValue() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getLogicValue() - Method in interface tools.refinery.language.model.problem.LogicConstant: Returns the value of the 'Logic Value' attribute.
getLogicValue() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Logic Value'.
getLowerBound() - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
getLowerBound() - Method in interface tools.refinery.language.model.problem.RangeMultiplicity: Returns the value of the 'Lower Bound' attribute.
getMatch() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getMatch() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Match'.
getMatch_Condition() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getMatch_Condition() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Condition'.
getMatch_Value() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getMatch_Value() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Value'.
getModalExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getModalExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Modal Expr'.
getModalExpr_Concreteness() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getModalExpr_Concreteness() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Concreteness'.
getModalExpr_Modality() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getModalExpr_Modality() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Modality'.
getModality() - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
getModality() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getModality() - Method in interface tools.refinery.language.model.problem.ModalExpr: Returns the value of the 'Modality' attribute.
getModality() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Modality'.
getModuleKind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getModuleKind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Module Kind'.
getMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
getMultiplicity() - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
getMultiplicity() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Multiplicity'.
getMultiplicity() - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Returns the value of the 'Multiplicity' containment reference.
getMultiplicity() - Method in interface tools.refinery.language.model.problem.TypeScope: Returns the value of the 'Multiplicity' containment reference.
getName() - Method in enum class tools.refinery.language.model.problem.BinaryOp
getName() - Method in enum class tools.refinery.language.model.problem.ComparisonOp
getName() - Method in enum class tools.refinery.language.model.problem.Concreteness
getName() - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
getName() - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
getName() - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
getName() - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
getName() - Method in class tools.refinery.language.model.problem.impl.NamedElementImpl
getName() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
getName() - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
getName() - Method in enum class tools.refinery.language.model.problem.LatticeBinaryOp
getName() - Method in enum class tools.refinery.language.model.problem.LogicValue
getName() - Method in enum class tools.refinery.language.model.problem.Modality
getName() - Method in enum class tools.refinery.language.model.problem.ModuleKind
getName() - Method in interface tools.refinery.language.model.problem.NamedElement: Returns the value of the 'Name' attribute.
getName() - Method in enum class tools.refinery.language.model.problem.NodeKind
getName() - Method in enum class tools.refinery.language.model.problem.ParameterBinding
getName() - Method in enum class tools.refinery.language.model.problem.ReferenceKind
getName() - Method in enum class tools.refinery.language.model.problem.RuleKind
getName() - Method in enum class tools.refinery.language.model.problem.UnaryOp
getNamedElement() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNamedElement() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Named Element'.
getNamedElement_Name() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNamedElement_Name() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Name'.
getNegationExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNegationExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Negation Expr'.
getNewNode() - Method in interface tools.refinery.language.model.problem.ClassDeclaration: Returns the value of the 'New Node' containment reference.
getNewNode() - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
getNode() - Method in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
getNode() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNode() - Method in interface tools.refinery.language.model.problem.NodeAssertionArgument: Returns the value of the 'Node' reference.
getNode() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Node'.
getNodeAssertionArgument() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNodeAssertionArgument() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Node Assertion Argument'.
getNodeAssertionArgument_Node() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNodeAssertionArgument_Node() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Node'.
getNodeDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNodeDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Node Declaration'.
getNodeDeclaration_Kind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNodeDeclaration_Kind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Kind'.
getNodeDeclaration_Nodes() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNodeDeclaration_Nodes() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Nodes'.
getNodeKind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getNodeKind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Node Kind'.
getNodes() - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
getNodes() - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
getNodes() - Method in interface tools.refinery.language.model.problem.NodeDeclaration: Returns the value of the 'Nodes' containment reference list.
getNodes() - Method in interface tools.refinery.language.model.problem.Problem: Returns the value of the 'Nodes' containment reference list.
getOp() - Method in interface tools.refinery.language.model.problem.ArithmeticBinaryExpr: Returns the value of the 'Op' attribute.
getOp() - Method in interface tools.refinery.language.model.problem.ArithmeticUnaryExpr: Returns the value of the 'Op' attribute.
getOp() - Method in interface tools.refinery.language.model.problem.ComparisonExpr: Returns the value of the 'Op' attribute.
getOp() - Method in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
getOp() - Method in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
getOp() - Method in class tools.refinery.language.model.problem.impl.ComparisonExprImpl
getOp() - Method in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
getOp() - Method in interface tools.refinery.language.model.problem.LatticeBinaryExpr: Returns the value of the 'Op' attribute.
getOpposite() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
getOpposite() - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Returns the value of the 'Opposite' reference.
getPackage() - Static method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl: Deprecated.
getParameter() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getParameter() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Parameter'.
getParameter_Binding() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getParameter_Binding() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Binding'.
getParameter_ParameterType() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getParameter_ParameterType() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Parameter Type'.
getParameterBinding() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getParameterBinding() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Parameter Binding'.
getParameters() - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
getParameters() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
getParameters() - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
getParameters() - Method in interface tools.refinery.language.model.problem.ParametricDefinition: Returns the value of the 'Parameters' containment reference list.
getParameterType() - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
getParameterType() - Method in interface tools.refinery.language.model.problem.Parameter: Returns the value of the 'Parameter Type' reference.
getParametricDefinition() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getParametricDefinition() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Parametric Definition'.
getParametricDefinition_Parameters() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getParametricDefinition_Parameters() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Parameters'.
getPreconditions() - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
getPreconditions() - Method in interface tools.refinery.language.model.problem.RuleDefinition: Returns the value of the 'Preconditions' containment reference list.
getPredicateDefinition() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getPredicateDefinition() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Predicate Definition'.
getPredicateDefinition_Bodies() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getPredicateDefinition_Bodies() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Bodies'.
getPredicateDefinition_ComputedValue() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getPredicateDefinition_ComputedValue() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Computed Value'.
getPredicateDefinition_Error() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getPredicateDefinition_Error() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Error'.
getPredicateDefinition_Shadow() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getPredicateDefinition_Shadow() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Shadow'.
getProblem() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getProblem() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Problem'.
getProblem_ExplicitKind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getProblem_ExplicitKind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Explicit Kind'.
getProblem_Kind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getProblem_Kind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Kind'.
getProblem_Nodes() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getProblem_Nodes() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Nodes'.
getProblem_Statements() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getProblem_Statements() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Statements'.
getProblemFactory() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getProblemFactory() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the factory that creates the instances of the model.
getProblemPackage() - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
getProblemPackage() - Method in interface tools.refinery.language.model.problem.ProblemFactory: Returns the package supported by this factory.
getQuantifiedUnaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getQuantifiedUnaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Quantified Unary Expr'.
getRangeExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRangeExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Range Expr'.
getRangeMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRangeMultiplicity() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Range Multiplicity'.
getRangeMultiplicity_LowerBound() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRangeMultiplicity_LowerBound() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Lower Bound'.
getRangeMultiplicity_UpperBound() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRangeMultiplicity_UpperBound() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Upper Bound'.
getRealConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRealConstant() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Real Constant'.
getRealConstant_RealValue() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRealConstant_RealValue() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Real Value'.
getRealValue() - Method in class tools.refinery.language.model.problem.impl.RealConstantImpl
getRealValue() - Method in interface tools.refinery.language.model.problem.RealConstant: Returns the value of the 'Real Value' attribute.
getReferenceDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getReferenceDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Reference Declaration'.
getReferenceDeclaration_InvalidMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getReferenceDeclaration_InvalidMultiplicity() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Invalid Multiplicity'.
getReferenceDeclaration_Kind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getReferenceDeclaration_Kind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Kind'.
getReferenceDeclaration_Multiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getReferenceDeclaration_Multiplicity() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Multiplicity'.
getReferenceDeclaration_Opposite() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getReferenceDeclaration_Opposite() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Opposite'.
getReferenceDeclaration_ReferenceType() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getReferenceDeclaration_ReferenceType() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Reference Type'.
getReferenceKind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getReferenceKind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Reference Kind'.
getReferenceType() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
getReferenceType() - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Returns the value of the 'Reference Type' reference.
getRelation() - Method in interface tools.refinery.language.model.problem.AbstractAssertion: Returns the value of the 'Relation' reference.
getRelation() - Method in interface tools.refinery.language.model.problem.Atom: Returns the value of the 'Relation' reference.
getRelation() - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
getRelation() - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
getRelation() - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
getRelation() - Method in class tools.refinery.language.model.problem.impl.AtomImpl
getRelation() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRelation() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Relation'.
getRight() - Method in interface tools.refinery.language.model.problem.BinaryExpr: Returns the value of the 'Right' containment reference.
getRight() - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
getRuleDefinition() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRuleDefinition() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Rule Definition'.
getRuleDefinition_Consequents() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRuleDefinition_Consequents() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Consequents'.
getRuleDefinition_Kind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRuleDefinition_Kind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Kind'.
getRuleDefinition_Preconditions() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRuleDefinition_Preconditions() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Preconditions'.
getRuleKind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getRuleKind() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Rule Kind'.
getScopeDeclaration() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getScopeDeclaration() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Scope Declaration'.
getScopeDeclaration_TypeScopes() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getScopeDeclaration_TypeScopes() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference list 'Type Scopes'.
getSingletonVariable() - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
getSingletonVariable() - Method in interface tools.refinery.language.model.problem.VariableOrNodeExpr: Returns the value of the 'Singleton Variable' containment reference.
getStatement() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getStatement() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Statement'.
getStatements() - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
getStatements() - Method in interface tools.refinery.language.model.problem.Problem: Returns the value of the 'Statements' containment reference list.
getStringConstant() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getStringConstant() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'String Constant'.
getStringConstant_StringValue() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getStringConstant_StringValue() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'String Value'.
getStringValue() - Method in class tools.refinery.language.model.problem.impl.StringConstantImpl
getStringValue() - Method in interface tools.refinery.language.model.problem.StringConstant: Returns the value of the 'String Value' attribute.
getSuperTypes() - Method in interface tools.refinery.language.model.problem.ClassDeclaration: Returns the value of the 'Super Types' reference list.
getSuperTypes() - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
getTargetType() - Method in interface tools.refinery.language.model.problem.CastExpr: Returns the value of the 'Target Type' reference.
getTargetType() - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
getTargetType() - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
getTargetType() - Method in interface tools.refinery.language.model.problem.TypeScope: Returns the value of the 'Target Type' reference.
getTypeScope() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getTypeScope() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Type Scope'.
getTypeScope_Increment() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getTypeScope_Increment() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the attribute 'Increment'.
getTypeScope_Multiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getTypeScope_Multiplicity() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Multiplicity'.
getTypeScope_TargetType() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getTypeScope_TargetType() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Target Type'.
getTypeScopes() - Method in class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl
getTypeScopes() - Method in interface tools.refinery.language.model.problem.ScopeDeclaration: Returns the value of the 'Type Scopes' containment reference list.
getUnaryExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getUnaryExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Unary Expr'.
getUnaryExpr_Body() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getUnaryExpr_Body() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Body'.
getUnaryOp() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getUnaryOp() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for enum 'Unary Op'.
getUnboundedMultiplicity() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getUnboundedMultiplicity() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Unbounded Multiplicity'.
getUpperBound() - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
getUpperBound() - Method in interface tools.refinery.language.model.problem.RangeMultiplicity: Returns the value of the 'Upper Bound' attribute.
getValue() - Method in interface tools.refinery.language.model.problem.AbstractAssertion: Returns the value of the 'Value' containment reference.
getValue() - Method in interface tools.refinery.language.model.problem.AggregationExpr: Returns the value of the 'Value' containment reference.
getValue() - Method in enum class tools.refinery.language.model.problem.BinaryOp
getValue() - Method in enum class tools.refinery.language.model.problem.ComparisonOp
getValue() - Method in enum class tools.refinery.language.model.problem.Concreteness
getValue() - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
getValue() - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
getValue() - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
getValue() - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
getValue() - Method in class tools.refinery.language.model.problem.impl.MatchImpl
getValue() - Method in enum class tools.refinery.language.model.problem.LatticeBinaryOp
getValue() - Method in enum class tools.refinery.language.model.problem.LogicValue
getValue() - Method in interface tools.refinery.language.model.problem.Match: Returns the value of the 'Value' containment reference.
getValue() - Method in enum class tools.refinery.language.model.problem.Modality
getValue() - Method in enum class tools.refinery.language.model.problem.ModuleKind
getValue() - Method in enum class tools.refinery.language.model.problem.NodeKind
getValue() - Method in enum class tools.refinery.language.model.problem.ParameterBinding
getValue() - Method in enum class tools.refinery.language.model.problem.ReferenceKind
getValue() - Method in enum class tools.refinery.language.model.problem.RuleKind
getValue() - Method in enum class tools.refinery.language.model.problem.UnaryOp
getVariable() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getVariable() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Variable'.
getVariableOrNode() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getVariableOrNode() - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
getVariableOrNode() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Variable Or Node'.
getVariableOrNode() - Method in interface tools.refinery.language.model.problem.VariableOrNodeExpr: Returns the value of the 'Variable Or Node' reference.
getVariableOrNodeExpr() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getVariableOrNodeExpr() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Variable Or Node Expr'.
getVariableOrNodeExpr_SingletonVariable() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getVariableOrNodeExpr_SingletonVariable() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the containment reference 'Singleton Variable'.
getVariableOrNodeExpr_VariableOrNode() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getVariableOrNodeExpr_VariableOrNode() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for the reference 'Variable Or Node'.
getWildcardAssertionArgument() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
getWildcardAssertionArgument() - Method in interface tools.refinery.language.model.problem.ProblemPackage: Returns the meta object for class 'Wildcard Assertion Argument'.
GREATER - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'GREATER' literal object.
GREATER_EQ - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'GREATER EQ' literal object.
GREATER_EQ_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'GREATER EQ' literal value.
GREATER_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'GREATER' literal value.

I

IMPLICIT_VARIABLE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Implicit Variable' class.
IMPLICIT_VARIABLE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Implicit Variable' class.
IMPLICIT_VARIABLE__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
IMPLICIT_VARIABLE_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Implicit Variable' class.
IMPLICIT_VARIABLE_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Implicit Variable' class.
ImplicitVariable - Interface in tools.refinery.language.model.problem: A representation of the model object 'Implicit Variable'.
ImplicitVariableImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Implicit Variable'.
ImplicitVariableImpl() - Constructor for class tools.refinery.language.model.problem.impl.ImplicitVariableImpl
implicitVariables - Variable in class tools.refinery.language.model.problem.impl.AggregationExprImpl: The cached value of the 'Implicit Variables' containment reference list.
implicitVariables - Variable in class tools.refinery.language.model.problem.impl.ConjunctionImpl: The cached value of the 'Implicit Variables' containment reference list.
implicitVariables - Variable in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl: The cached value of the 'Implicit Variables' containment reference list.
IMPORT_STATEMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Import Statement' class.
IMPORT_STATEMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Import Statement' class.
IMPORT_STATEMENT__ALIAS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Alias' attribute.
IMPORT_STATEMENT__ALIAS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Alias' attribute feature.
IMPORT_STATEMENT__IMPORTED_MODULE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Imported Module' reference.
IMPORT_STATEMENT__IMPORTED_MODULE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Imported Module' reference feature.
IMPORT_STATEMENT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Import Statement' class.
IMPORT_STATEMENT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Import Statement' class.
importedModule - Variable in class tools.refinery.language.model.problem.impl.ImportStatementImpl: The cached value of the 'Imported Module' reference.
ImportStatement - Interface in tools.refinery.language.model.problem: A representation of the model object 'Import Statement'.
ImportStatementImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Import Statement'.
ImportStatementImpl() - Constructor for class tools.refinery.language.model.problem.impl.ImportStatementImpl
IN - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'IN' literal object.
IN_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'IN' literal value.
increment - Variable in class tools.refinery.language.model.problem.impl.TypeScopeImpl: The cached value of the 'Increment' attribute.
INCREMENT_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.TypeScopeImpl: The default value of the 'Increment' attribute.
INFINITE_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Infinite Constant' class.
INFINITE_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Infinite Constant' class.
INFINITE_CONSTANT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Infinite Constant' class.
INFINITE_CONSTANT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Infinite Constant' class.
InfiniteConstant - Interface in tools.refinery.language.model.problem: A representation of the model object 'Infinite Constant'.
InfiniteConstantImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Infinite Constant'.
InfiniteConstantImpl() - Constructor for class tools.refinery.language.model.problem.impl.InfiniteConstantImpl
init() - Static method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl: Creates the default factory implementation.
init() - Static method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl: Creates, registers, and initializes the Package for this model, and for any others upon which it depends.
initializePackageContents() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl: Complete the initialization of the package and its meta-model.
INT_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Int Constant' class.
INT_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Int Constant' class.
INT_CONSTANT__INT_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Int Value' attribute.
INT_CONSTANT__INT_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Int Value' attribute feature.
INT_CONSTANT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Int Constant' class.
INT_CONSTANT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Int Constant' class.
INT_VALUE_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.IntConstantImpl: The default value of the 'Int Value' attribute.
IntConstant - Interface in tools.refinery.language.model.problem: A representation of the model object 'Int Constant'.
IntConstantImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Int Constant'.
IntConstantImpl() - Constructor for class tools.refinery.language.model.problem.impl.IntConstantImpl
intValue - Variable in class tools.refinery.language.model.problem.impl.IntConstantImpl: The cached value of the 'Int Value' attribute.
invalidMultiplicity - Variable in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl: The cached value of the 'Invalid Multiplicity' containment reference.
isAbstract() - Method in interface tools.refinery.language.model.problem.ClassDeclaration: Returns the value of the 'Abstract' attribute.
isAbstract() - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
isDefault() - Method in interface tools.refinery.language.model.problem.Assertion: Returns the value of the 'Default' attribute.
isDefault() - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
isError() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
isError() - Method in interface tools.refinery.language.model.problem.PredicateDefinition: Returns the value of the 'Error' attribute.
isExplicitKind() - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
isExplicitKind() - Method in interface tools.refinery.language.model.problem.Problem: Returns the value of the 'Explicit Kind' attribute.
isFactoryForType(Object) - Method in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Returns whether this factory is applicable for the type of the object.
isIncrement() - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
isIncrement() - Method in interface tools.refinery.language.model.problem.TypeScope: Returns the value of the 'Increment' attribute.
isShadow() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
isShadow() - Method in interface tools.refinery.language.model.problem.PredicateDefinition: Returns the value of the 'Shadow' attribute.
isSwitchFor(EPackage) - Method in class tools.refinery.language.model.problem.util.ProblemSwitch: Checks whether this is a switch for the given package.
isTransitiveClosure() - Method in interface tools.refinery.language.model.problem.Atom: Returns the value of the 'Transitive Closure' attribute.
isTransitiveClosure() - Method in class tools.refinery.language.model.problem.impl.AtomImpl

J

JOIN - Enum constant in enum class tools.refinery.language.model.problem.LatticeBinaryOp: The 'JOIN' literal object.
JOIN_VALUE - Static variable in enum class tools.refinery.language.model.problem.LatticeBinaryOp: The 'JOIN' literal value.

K

kind - Variable in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl: The cached value of the 'Kind' attribute.
kind - Variable in class tools.refinery.language.model.problem.impl.ProblemImpl: The cached value of the 'Kind' attribute.
kind - Variable in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl: The cached value of the 'Kind' attribute.
kind - Variable in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl: The cached value of the 'Kind' attribute.
KIND_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl: The default value of the 'Kind' attribute.
KIND_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ProblemImpl: The default value of the 'Kind' attribute.
KIND_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl: The default value of the 'Kind' attribute.
KIND_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl: The default value of the 'Kind' attribute.

L

LATTICE_BINARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Lattice Binary Expr' class.
LATTICE_BINARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Lattice Binary Expr' class.
LATTICE_BINARY_EXPR__LEFT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Left' containment reference.
LATTICE_BINARY_EXPR__OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Op' attribute.
LATTICE_BINARY_EXPR__OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Op' attribute feature.
LATTICE_BINARY_EXPR__RIGHT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Right' containment reference.
LATTICE_BINARY_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Lattice Binary Expr' class.
LATTICE_BINARY_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Lattice Binary Expr' class.
LATTICE_BINARY_OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Lattice Binary Op' enum.
LATTICE_BINARY_OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Lattice Binary Op' enum.
LatticeBinaryExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Lattice Binary Expr'.
LatticeBinaryExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Lattice Binary Expr'.
LatticeBinaryExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
LatticeBinaryOp - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Lattice Binary Op', and utility methods for working with them.
left - Variable in class tools.refinery.language.model.problem.impl.BinaryExprImpl: The cached value of the 'Left' containment reference.
LESS - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'LESS' literal object.
LESS_EQ - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'LESS EQ' literal object.
LESS_EQ_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'LESS EQ' literal value.
LESS_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'LESS' literal value.
literals - Variable in class tools.refinery.language.model.problem.impl.ConjunctionImpl: The cached value of the 'Literals' containment reference list.
literals - Variable in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl: The cached value of the 'Literals' containment reference list.
LOGIC_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Logic Constant' class.
LOGIC_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Logic Constant' class.
LOGIC_CONSTANT__LOGIC_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Logic Value' attribute feature.
LOGIC_CONSTANT__LOGIC_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Logic Value' attribute.
LOGIC_CONSTANT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Logic Constant' class.
LOGIC_CONSTANT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Logic Constant' class.
LOGIC_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Logic Value' enum.
LOGIC_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Logic Value' enum.
LOGIC_VALUE_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.LogicConstantImpl: The default value of the 'Logic Value' attribute.
LogicConstant - Interface in tools.refinery.language.model.problem: A representation of the model object 'Logic Constant'.
LogicConstantImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Logic Constant'.
LogicConstantImpl() - Constructor for class tools.refinery.language.model.problem.impl.LogicConstantImpl
logicValue - Variable in class tools.refinery.language.model.problem.impl.LogicConstantImpl: The cached value of the 'Logic Value' attribute.
LogicValue - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Logic Value', and utility methods for working with them.
LOWER_BOUND_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl: The default value of the 'Lower Bound' attribute.
lowerBound - Variable in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl: The cached value of the 'Lower Bound' attribute.

M

Match - Interface in tools.refinery.language.model.problem: A representation of the model object 'Match'.
MATCH - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Match' class.
MATCH - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Match' class.
MATCH__CONDITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Condition' containment reference feature.
MATCH__CONDITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Condition' containment reference.
MATCH__VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Value' containment reference feature.
MATCH__VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Value' containment reference.
MATCH_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Match' class.
MATCH_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Match' class.
MatchImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Match'.
MatchImpl() - Constructor for class tools.refinery.language.model.problem.impl.MatchImpl
MAY - Enum constant in enum class tools.refinery.language.model.problem.Modality: The 'MAY' literal object.
MAY_VALUE - Static variable in enum class tools.refinery.language.model.problem.Modality: The 'MAY' literal value.
MEET - Enum constant in enum class tools.refinery.language.model.problem.LatticeBinaryOp: The 'MEET' literal object.
MEET_VALUE - Static variable in enum class tools.refinery.language.model.problem.LatticeBinaryOp: The 'MEET' literal value.
MINUS - Enum constant in enum class tools.refinery.language.model.problem.UnaryOp: The 'MINUS' literal object.
MINUS_VALUE - Static variable in enum class tools.refinery.language.model.problem.UnaryOp: The 'MINUS' literal value.
MODAL_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Modal Expr' class.
MODAL_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Modal Expr' class.
MODAL_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Body' containment reference.
MODAL_EXPR__CONCRETENESS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Concreteness' attribute feature.
MODAL_EXPR__CONCRETENESS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Concreteness' attribute.
MODAL_EXPR__MODALITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Modality' attribute feature.
MODAL_EXPR__MODALITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Modality' attribute.
MODAL_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Modal Expr' class.
MODAL_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Modal Expr' class.
ModalExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Modal Expr'.
ModalExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Modal Expr'.
ModalExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.ModalExprImpl
modality - Variable in class tools.refinery.language.model.problem.impl.ModalExprImpl: The cached value of the 'Modality' attribute.
Modality - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Modality', and utility methods for working with them.
MODALITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Modality' enum.
MODALITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Modality' enum.
MODALITY_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ModalExprImpl: The default value of the 'Modality' attribute.
modelPackage - Static variable in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: The cached model package.
modelPackage - Static variable in class tools.refinery.language.model.problem.util.ProblemSwitch: The cached model package
modelSwitch - Variable in class tools.refinery.language.model.problem.util.ProblemAdapterFactory: The switch that delegates to the createXXX methods.
MODULE - Enum constant in enum class tools.refinery.language.model.problem.ModuleKind: The 'MODULE' literal object.
MODULE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Module Kind' enum.
MODULE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Module Kind' enum.
MODULE_VALUE - Static variable in enum class tools.refinery.language.model.problem.ModuleKind: The 'MODULE' literal value.
ModuleKind - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Module Kind', and utility methods for working with them.
MUL - Enum constant in enum class tools.refinery.language.model.problem.BinaryOp: The 'MUL' literal object.
MUL_VALUE - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: The 'MUL' literal value.
MULTI - Enum constant in enum class tools.refinery.language.model.problem.NodeKind: The 'MULTI' literal object.
MULTI - Enum constant in enum class tools.refinery.language.model.problem.ParameterBinding: The 'MULTI' literal object.
MULTI_VALUE - Static variable in enum class tools.refinery.language.model.problem.NodeKind: The 'MULTI' literal value.
MULTI_VALUE - Static variable in enum class tools.refinery.language.model.problem.ParameterBinding: The 'MULTI' literal value.
multiplicity - Variable in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl: The cached value of the 'Multiplicity' containment reference.
multiplicity - Variable in class tools.refinery.language.model.problem.impl.TypeScopeImpl: The cached value of the 'Multiplicity' containment reference.
Multiplicity - Interface in tools.refinery.language.model.problem: A representation of the model object 'Multiplicity'.
MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Multiplicity' class.
MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Multiplicity' class.
MULTIPLICITY_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Multiplicity' class.
MULTIPLICITY_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Multiplicity' class.
MultiplicityImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Multiplicity'.
MultiplicityImpl() - Constructor for class tools.refinery.language.model.problem.impl.MultiplicityImpl
MUST - Enum constant in enum class tools.refinery.language.model.problem.Modality: The 'MUST' literal object.
MUST_VALUE - Static variable in enum class tools.refinery.language.model.problem.Modality: The 'MUST' literal value.

N

name - Variable in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl: The cached value of the 'Name' attribute.
name - Variable in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl: The cached value of the 'Name' attribute.
name - Variable in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl: The cached value of the 'Name' attribute.
name - Variable in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl: The cached value of the 'Name' attribute.
name - Variable in class tools.refinery.language.model.problem.impl.NamedElementImpl: The cached value of the 'Name' attribute.
name - Variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The cached value of the 'Name' attribute.
name - Variable in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl: The cached value of the 'Name' attribute.
NAME_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl: The default value of the 'Name' attribute.
NAME_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl: The default value of the 'Name' attribute.
NAME_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl: The default value of the 'Name' attribute.
NAME_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl: The default value of the 'Name' attribute.
NAME_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.NamedElementImpl: The default value of the 'Name' attribute.
NAME_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The default value of the 'Name' attribute.
NAME_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl: The default value of the 'Name' attribute.
NAMED_ELEMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Named Element' class.
NAMED_ELEMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Named Element' class.
NAMED_ELEMENT__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Name' attribute feature.
NAMED_ELEMENT__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
NAMED_ELEMENT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Named Element' class.
NAMED_ELEMENT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Named Element' class.
NamedElement - Interface in tools.refinery.language.model.problem: A representation of the model object 'Named Element'.
NamedElementImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Named Element'.
NamedElementImpl() - Constructor for class tools.refinery.language.model.problem.impl.NamedElementImpl
NEGATION_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Negation Expr' class.
NEGATION_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Negation Expr' class.
NEGATION_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Body' containment reference.
NEGATION_EXPR__IMPLICIT_VARIABLES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Implicit Variables' containment reference list.
NEGATION_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Negation Expr' class.
NEGATION_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Negation Expr' class.
NegationExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Negation Expr'.
NegationExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Negation Expr'.
NegationExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.NegationExprImpl
newNode - Variable in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl: The cached value of the 'New Node' containment reference.
node - Variable in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl: The cached value of the 'Node' reference.
Node - Interface in tools.refinery.language.model.problem: A representation of the model object 'Node'.
NODE - Enum constant in enum class tools.refinery.language.model.problem.NodeKind: The 'NODE' literal object.
NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Node' class.
NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Node' class.
NODE__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
NODE_ASSERTION_ARGUMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Node Assertion Argument' class.
NODE_ASSERTION_ARGUMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Node Assertion Argument' class.
NODE_ASSERTION_ARGUMENT__NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Node' reference feature.
NODE_ASSERTION_ARGUMENT__NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Node' reference.
NODE_ASSERTION_ARGUMENT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Node Assertion Argument' class.
NODE_ASSERTION_ARGUMENT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Node Assertion Argument' class.
NODE_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Node Declaration' class.
NODE_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Node Declaration' class.
NODE_DECLARATION__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Kind' attribute feature.
NODE_DECLARATION__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Kind' attribute.
NODE_DECLARATION__NODES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Nodes' containment reference list feature.
NODE_DECLARATION__NODES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Nodes' containment reference list.
NODE_DECLARATION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Node Declaration' class.
NODE_DECLARATION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Node Declaration' class.
NODE_EQ - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'NODE EQ' literal object.
NODE_EQ_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'NODE EQ' literal value.
NODE_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Node' class.
NODE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Node Kind' enum.
NODE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Node Kind' enum.
NODE_NOT_EQ - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'NODE NOT EQ' literal object.
NODE_NOT_EQ_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'NODE NOT EQ' literal value.
NODE_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Node' class.
NODE_VALUE - Static variable in enum class tools.refinery.language.model.problem.NodeKind: The 'NODE' literal value.
NodeAssertionArgument - Interface in tools.refinery.language.model.problem: A representation of the model object 'Node Assertion Argument'.
NodeAssertionArgumentImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Node Assertion Argument'.
NodeAssertionArgumentImpl() - Constructor for class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
NodeDeclaration - Interface in tools.refinery.language.model.problem: A representation of the model object 'Node Declaration'.
NodeDeclarationImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Node Declaration'.
NodeDeclarationImpl() - Constructor for class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
NodeImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Node'.
NodeImpl() - Constructor for class tools.refinery.language.model.problem.impl.NodeImpl
NodeKind - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Node Kind', and utility methods for working with them.
nodes - Variable in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl: The cached value of the 'Nodes' containment reference list.
nodes - Variable in class tools.refinery.language.model.problem.impl.ProblemImpl: The cached value of the 'Nodes' containment reference list.
NOT_EQ - Enum constant in enum class tools.refinery.language.model.problem.ComparisonOp: The 'NOT EQ' literal object.
NOT_EQ_VALUE - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: The 'NOT EQ' literal value.

O

op - Variable in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl: The cached value of the 'Op' attribute.
op - Variable in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl: The cached value of the 'Op' attribute.
op - Variable in class tools.refinery.language.model.problem.impl.ComparisonExprImpl: The cached value of the 'Op' attribute.
op - Variable in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl: The cached value of the 'Op' attribute.
OP_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl: The default value of the 'Op' attribute.
OP_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl: The default value of the 'Op' attribute.
OP_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.ComparisonExprImpl: The default value of the 'Op' attribute.
OP_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl: The default value of the 'Op' attribute.
opposite - Variable in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl: The cached value of the 'Opposite' reference.
OR - Enum constant in enum class tools.refinery.language.model.problem.BinaryOp: The 'OR' literal object.
OR_VALUE - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: The 'OR' literal value.

P

Parameter - Interface in tools.refinery.language.model.problem: A representation of the model object 'Parameter'.
PARAMETER - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Parameter' class.
PARAMETER - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Parameter' class.
PARAMETER__BINDING - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Binding' attribute feature.
PARAMETER__BINDING - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Binding' attribute.
PARAMETER__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
PARAMETER__PARAMETER_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Parameter Type' reference feature.
PARAMETER__PARAMETER_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Parameter Type' reference.
PARAMETER_BINDING - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Parameter Binding' enum.
PARAMETER_BINDING - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Parameter Binding' enum.
PARAMETER_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Parameter' class.
PARAMETER_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Parameter' class.
ParameterBinding - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Parameter Binding', and utility methods for working with them.
ParameterImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Parameter'.
ParameterImpl() - Constructor for class tools.refinery.language.model.problem.impl.ParameterImpl
parameters - Variable in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl: The cached value of the 'Parameters' containment reference list.
parameters - Variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The cached value of the 'Parameters' containment reference list.
parameters - Variable in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl: The cached value of the 'Parameters' containment reference list.
parameterType - Variable in class tools.refinery.language.model.problem.impl.ParameterImpl: The cached value of the 'Parameter Type' reference.
PARAMETRIC_DEFINITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Parametric Definition' class.
PARAMETRIC_DEFINITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Parametric Definition' class.
PARAMETRIC_DEFINITION__PARAMETERS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Parameters' containment reference list feature.
PARAMETRIC_DEFINITION__PARAMETERS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Parameters' containment reference list.
PARAMETRIC_DEFINITION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Parametric Definition' class.
PARAMETRIC_DEFINITION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Parametric Definition' class.
ParametricDefinition - Interface in tools.refinery.language.model.problem: A representation of the model object 'Parametric Definition'.
PARTIAL - Enum constant in enum class tools.refinery.language.model.problem.Concreteness: The 'PARTIAL' literal object.
PARTIAL - Enum constant in enum class tools.refinery.language.model.problem.ReferenceKind: The 'PARTIAL' literal object.
PARTIAL_VALUE - Static variable in enum class tools.refinery.language.model.problem.Concreteness: The 'PARTIAL' literal value.
PARTIAL_VALUE - Static variable in enum class tools.refinery.language.model.problem.ReferenceKind: The 'PARTIAL' literal value.
PLUS - Enum constant in enum class tools.refinery.language.model.problem.UnaryOp: The 'PLUS' literal object.
PLUS_VALUE - Static variable in enum class tools.refinery.language.model.problem.UnaryOp: The 'PLUS' literal value.
POW - Enum constant in enum class tools.refinery.language.model.problem.BinaryOp: The 'POW' literal object.
POW_VALUE - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: The 'POW' literal value.
preconditions - Variable in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl: The cached value of the 'Preconditions' containment reference list.
PREDICATE_DEFINITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Predicate Definition' class.
PREDICATE_DEFINITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Predicate Definition' class.
PREDICATE_DEFINITION__BODIES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Bodies' containment reference list feature.
PREDICATE_DEFINITION__BODIES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Bodies' containment reference list.
PREDICATE_DEFINITION__COMPUTED_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Computed Value' containment reference feature.
PREDICATE_DEFINITION__COMPUTED_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Computed Value' containment reference.
PREDICATE_DEFINITION__ERROR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Error' attribute feature.
PREDICATE_DEFINITION__ERROR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Error' attribute.
PREDICATE_DEFINITION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
PREDICATE_DEFINITION__PARAMETERS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Parameters' containment reference list.
PREDICATE_DEFINITION__SHADOW - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Shadow' attribute feature.
PREDICATE_DEFINITION__SHADOW - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Shadow' attribute.
PREDICATE_DEFINITION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Predicate Definition' class.
PREDICATE_DEFINITION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Predicate Definition' class.
PredicateDefinition - Interface in tools.refinery.language.model.problem: A representation of the model object 'Predicate Definition'.
PredicateDefinitionImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Predicate Definition'.
PredicateDefinitionImpl() - Constructor for class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
Problem - Interface in tools.refinery.language.model.problem: A representation of the model object 'Problem'.
PROBLEM - Enum constant in enum class tools.refinery.language.model.problem.ModuleKind: The 'PROBLEM' literal object.
PROBLEM - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Problem' class.
PROBLEM - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Problem' class.
PROBLEM__EXPLICIT_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Explicit Kind' attribute feature.
PROBLEM__EXPLICIT_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Explicit Kind' attribute.
PROBLEM__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Kind' attribute feature.
PROBLEM__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Kind' attribute.
PROBLEM__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
PROBLEM__NODES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Nodes' containment reference list feature.
PROBLEM__NODES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Nodes' containment reference list.
PROBLEM__STATEMENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Statements' containment reference list feature.
PROBLEM__STATEMENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Statements' containment reference list.
PROBLEM_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Problem' class.
PROBLEM_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Problem' class.
PROBLEM_VALUE - Static variable in enum class tools.refinery.language.model.problem.ModuleKind: The 'PROBLEM' literal value.
ProblemAdapterFactory - Class in tools.refinery.language.model.problem.util: The Adapter Factory for the model.
ProblemAdapterFactory() - Constructor for class tools.refinery.language.model.problem.util.ProblemAdapterFactory: Creates an instance of the adapter factory.
ProblemFactory - Interface in tools.refinery.language.model.problem: The Factory for the model.
ProblemFactoryImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model Factory.
ProblemFactoryImpl() - Constructor for class tools.refinery.language.model.problem.impl.ProblemFactoryImpl: Creates an instance of the factory.
ProblemImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Problem'.
ProblemImpl() - Constructor for class tools.refinery.language.model.problem.impl.ProblemImpl
ProblemPackage - Interface in tools.refinery.language.model.problem: The Package for the model.
ProblemPackage.Literals - Interface in tools.refinery.language.model.problem: Defines literals for the meta objects that represent each class, each feature of each class, each operation of each class, each enum, and each data type
ProblemPackageImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model Package.
ProblemResourceFactoryImpl - Class in tools.refinery.language.model.problem.util: The Resource Factory associated with the package.
ProblemResourceFactoryImpl() - Constructor for class tools.refinery.language.model.problem.util.ProblemResourceFactoryImpl: Creates an instance of the resource factory.
ProblemResourceImpl - Class in tools.refinery.language.model.problem.util: The Resource associated with the package.
ProblemResourceImpl(URI) - Constructor for class tools.refinery.language.model.problem.util.ProblemResourceImpl: Creates an instance of the resource.
ProblemSwitch<T> - Class in tools.refinery.language.model.problem.util: The Switch for the model's inheritance hierarchy.
ProblemSwitch() - Constructor for class tools.refinery.language.model.problem.util.ProblemSwitch: Creates an instance of the switch.
PROPAGATION - Enum constant in enum class tools.refinery.language.model.problem.RuleKind: The 'PROPAGATION' literal object.
PROPAGATION_VALUE - Static variable in enum class tools.refinery.language.model.problem.RuleKind: The 'PROPAGATION' literal value.

Q

QUANTIFIED_UNARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Quantified Unary Expr' class.
QUANTIFIED_UNARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Quantified Unary Expr' class.
QUANTIFIED_UNARY_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Body' containment reference.
QUANTIFIED_UNARY_EXPR__IMPLICIT_VARIABLES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Implicit Variables' containment reference list.
QUANTIFIED_UNARY_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Quantified Unary Expr' class.
QUANTIFIED_UNARY_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Quantified Unary Expr' class.
QuantifiedUnaryExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Quantified Unary Expr'.
QuantifiedUnaryExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Quantified Unary Expr'.
QuantifiedUnaryExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl

R

RANGE_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Range Expr' class.
RANGE_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Range Expr' class.
RANGE_EXPR__LEFT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Left' containment reference.
RANGE_EXPR__RIGHT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Right' containment reference.
RANGE_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Range Expr' class.
RANGE_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Range Expr' class.
RANGE_MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Range Multiplicity' class.
RANGE_MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Range Multiplicity' class.
RANGE_MULTIPLICITY__LOWER_BOUND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Lower Bound' attribute feature.
RANGE_MULTIPLICITY__LOWER_BOUND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Lower Bound' attribute.
RANGE_MULTIPLICITY__UPPER_BOUND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Upper Bound' attribute feature.
RANGE_MULTIPLICITY__UPPER_BOUND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Upper Bound' attribute.
RANGE_MULTIPLICITY_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Range Multiplicity' class.
RANGE_MULTIPLICITY_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Range Multiplicity' class.
RangeExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Range Expr'.
RangeExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Range Expr'.
RangeExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.RangeExprImpl
RangeMultiplicity - Interface in tools.refinery.language.model.problem: A representation of the model object 'Range Multiplicity'.
RangeMultiplicityImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Range Multiplicity'.
RangeMultiplicityImpl() - Constructor for class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
REAL_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Real Constant' class.
REAL_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Real Constant' class.
REAL_CONSTANT__REAL_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Real Value' attribute feature.
REAL_CONSTANT__REAL_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Real Value' attribute.
REAL_CONSTANT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Real Constant' class.
REAL_CONSTANT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Real Constant' class.
REAL_VALUE_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.RealConstantImpl: The default value of the 'Real Value' attribute.
RealConstant - Interface in tools.refinery.language.model.problem: A representation of the model object 'Real Constant'.
RealConstantImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Real Constant'.
RealConstantImpl() - Constructor for class tools.refinery.language.model.problem.impl.RealConstantImpl
realValue - Variable in class tools.refinery.language.model.problem.impl.RealConstantImpl: The cached value of the 'Real Value' attribute.
REFERENCE - Enum constant in enum class tools.refinery.language.model.problem.ReferenceKind: The 'REFERENCE' literal object.
REFERENCE_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Reference Declaration' class.
REFERENCE_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Reference Declaration' class.
REFERENCE_DECLARATION__INVALID_MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Invalid Multiplicity' containment reference feature.
REFERENCE_DECLARATION__INVALID_MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Invalid Multiplicity' containment reference.
REFERENCE_DECLARATION__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Kind' attribute feature.
REFERENCE_DECLARATION__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Kind' attribute.
REFERENCE_DECLARATION__MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Multiplicity' containment reference feature.
REFERENCE_DECLARATION__MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Multiplicity' containment reference.
REFERENCE_DECLARATION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
REFERENCE_DECLARATION__OPPOSITE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Opposite' reference feature.
REFERENCE_DECLARATION__OPPOSITE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Opposite' reference.
REFERENCE_DECLARATION__REFERENCE_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Reference Type' reference feature.
REFERENCE_DECLARATION__REFERENCE_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Reference Type' reference.
REFERENCE_DECLARATION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Reference Declaration' class.
REFERENCE_DECLARATION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Reference Declaration' class.
REFERENCE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Reference Kind' enum.
REFERENCE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Reference Kind' enum.
REFERENCE_VALUE - Static variable in enum class tools.refinery.language.model.problem.ReferenceKind: The 'REFERENCE' literal value.
ReferenceDeclaration - Interface in tools.refinery.language.model.problem: A representation of the model object 'Reference Declaration'.
ReferenceDeclarationImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Reference Declaration'.
ReferenceDeclarationImpl() - Constructor for class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
ReferenceKind - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Reference Kind', and utility methods for working with them.
referenceType - Variable in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl: The cached value of the 'Reference Type' reference.
REFINEMENT - Enum constant in enum class tools.refinery.language.model.problem.RuleKind: The 'REFINEMENT' literal object.
REFINEMENT_VALUE - Static variable in enum class tools.refinery.language.model.problem.RuleKind: The 'REFINEMENT' literal value.
relation - Variable in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl: The cached value of the 'Relation' reference.
relation - Variable in class tools.refinery.language.model.problem.impl.AssertionActionImpl: The cached value of the 'Relation' reference.
relation - Variable in class tools.refinery.language.model.problem.impl.AssertionImpl: The cached value of the 'Relation' reference.
relation - Variable in class tools.refinery.language.model.problem.impl.AtomImpl: The cached value of the 'Relation' reference.
Relation - Interface in tools.refinery.language.model.problem: A representation of the model object 'Relation'.
RELATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Relation' class.
RELATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Relation' class.
RELATION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
RELATION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Relation' class.
RELATION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Relation' class.
RelationImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Relation'.
RelationImpl() - Constructor for class tools.refinery.language.model.problem.impl.RelationImpl
right - Variable in class tools.refinery.language.model.problem.impl.BinaryExprImpl: The cached value of the 'Right' containment reference.
RULE_DEFINITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Rule Definition' class.
RULE_DEFINITION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Rule Definition' class.
RULE_DEFINITION__CONSEQUENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Consequents' containment reference list feature.
RULE_DEFINITION__CONSEQUENTS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Consequents' containment reference list.
RULE_DEFINITION__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Kind' attribute feature.
RULE_DEFINITION__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Kind' attribute.
RULE_DEFINITION__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
RULE_DEFINITION__PARAMETERS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Parameters' containment reference list.
RULE_DEFINITION__PRECONDITIONS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Preconditions' containment reference list feature.
RULE_DEFINITION__PRECONDITIONS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Preconditions' containment reference list.
RULE_DEFINITION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Rule Definition' class.
RULE_DEFINITION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Rule Definition' class.
RULE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Rule Kind' enum.
RULE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Rule Kind' enum.
RuleDefinition - Interface in tools.refinery.language.model.problem: A representation of the model object 'Rule Definition'.
RuleDefinitionImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Rule Definition'.
RuleDefinitionImpl() - Constructor for class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
RuleKind - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Rule Kind', and utility methods for working with them.

S

SCOPE_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Scope Declaration' class.
SCOPE_DECLARATION - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Scope Declaration' class.
SCOPE_DECLARATION__TYPE_SCOPES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Type Scopes' containment reference list feature.
SCOPE_DECLARATION__TYPE_SCOPES - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Type Scopes' containment reference list.
SCOPE_DECLARATION_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Scope Declaration' class.
SCOPE_DECLARATION_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Scope Declaration' class.
ScopeDeclaration - Interface in tools.refinery.language.model.problem: A representation of the model object 'Scope Declaration'.
ScopeDeclarationImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Scope Declaration'.
ScopeDeclarationImpl() - Constructor for class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl
setAbstract(boolean) - Method in interface tools.refinery.language.model.problem.ClassDeclaration: Sets the value of the 'Abstract' attribute.
setAbstract(boolean) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
setAggregator(AggregatorDeclaration) - Method in interface tools.refinery.language.model.problem.AggregationExpr: Sets the value of the 'Aggregator' reference.
setAggregator(AggregatorDeclaration) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
setAlias(String) - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
setAlias(String) - Method in interface tools.refinery.language.model.problem.ImportStatement: Sets the value of the 'Alias' attribute.
setBinding(ParameterBinding) - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
setBinding(ParameterBinding) - Method in interface tools.refinery.language.model.problem.Parameter: Sets the value of the 'Binding' attribute.
setBody(Expr) - Method in interface tools.refinery.language.model.problem.CastExpr: Sets the value of the 'Body' containment reference.
setBody(Expr) - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
setBody(Expr) - Method in class tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl
setBody(Expr) - Method in class tools.refinery.language.model.problem.impl.UnaryExprImpl
setBody(Expr) - Method in interface tools.refinery.language.model.problem.UnaryExpr: Sets the value of the 'Body' containment reference.
setComputedValue(PredicateDefinition) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
setComputedValue(PredicateDefinition) - Method in interface tools.refinery.language.model.problem.PredicateDefinition: Sets the value of the 'Computed Value' containment reference.
setConcreteness(Concreteness) - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
setConcreteness(Concreteness) - Method in interface tools.refinery.language.model.problem.ModalExpr: Sets the value of the 'Concreteness' attribute.
setCondition(Conjunction) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
setCondition(Conjunction) - Method in interface tools.refinery.language.model.problem.Match: Sets the value of the 'Condition' containment reference.
setCondition(Expr) - Method in interface tools.refinery.language.model.problem.AggregationExpr: Sets the value of the 'Condition' containment reference.
setCondition(Expr) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
setDefault(boolean) - Method in interface tools.refinery.language.model.problem.Assertion: Sets the value of the 'Default' attribute.
setDefault(boolean) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
setError(boolean) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
setError(boolean) - Method in interface tools.refinery.language.model.problem.PredicateDefinition: Sets the value of the 'Error' attribute.
setExactValue(int) - Method in interface tools.refinery.language.model.problem.ExactMultiplicity: Sets the value of the 'Exact Value' attribute.
setExactValue(int) - Method in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
setExplicitKind(boolean) - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
setExplicitKind(boolean) - Method in interface tools.refinery.language.model.problem.Problem: Sets the value of the 'Explicit Kind' attribute.
setFunctionType(DatatypeDeclaration) - Method in interface tools.refinery.language.model.problem.FunctionDefinition: Sets the value of the 'Function Type' reference.
setFunctionType(DatatypeDeclaration) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
setImportedModule(Problem) - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
setImportedModule(Problem) - Method in interface tools.refinery.language.model.problem.ImportStatement: Sets the value of the 'Imported Module' reference.
setIncrement(boolean) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
setIncrement(boolean) - Method in interface tools.refinery.language.model.problem.TypeScope: Sets the value of the 'Increment' attribute.
setIntValue(int) - Method in class tools.refinery.language.model.problem.impl.IntConstantImpl
setIntValue(int) - Method in interface tools.refinery.language.model.problem.IntConstant: Sets the value of the 'Int Value' attribute.
setInvalidMultiplicity(Relation) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
setInvalidMultiplicity(Relation) - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Sets the value of the 'Invalid Multiplicity' containment reference.
setKind(ModuleKind) - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
setKind(ModuleKind) - Method in interface tools.refinery.language.model.problem.Problem: Sets the value of the 'Kind' attribute.
setKind(NodeKind) - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
setKind(NodeKind) - Method in interface tools.refinery.language.model.problem.NodeDeclaration: Sets the value of the 'Kind' attribute.
setKind(ReferenceKind) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
setKind(ReferenceKind) - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Sets the value of the 'Kind' attribute.
setKind(RuleKind) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
setKind(RuleKind) - Method in interface tools.refinery.language.model.problem.RuleDefinition: Sets the value of the 'Kind' attribute.
setLeft(Expr) - Method in interface tools.refinery.language.model.problem.BinaryExpr: Sets the value of the 'Left' containment reference.
setLeft(Expr) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
setLogicValue(LogicValue) - Method in class tools.refinery.language.model.problem.impl.LogicConstantImpl
setLogicValue(LogicValue) - Method in interface tools.refinery.language.model.problem.LogicConstant: Sets the value of the 'Logic Value' attribute.
setLowerBound(int) - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
setLowerBound(int) - Method in interface tools.refinery.language.model.problem.RangeMultiplicity: Sets the value of the 'Lower Bound' attribute.
setModality(Modality) - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
setModality(Modality) - Method in interface tools.refinery.language.model.problem.ModalExpr: Sets the value of the 'Modality' attribute.
setMultiplicity(Multiplicity) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
setMultiplicity(Multiplicity) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
setMultiplicity(Multiplicity) - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Sets the value of the 'Multiplicity' containment reference.
setMultiplicity(Multiplicity) - Method in interface tools.refinery.language.model.problem.TypeScope: Sets the value of the 'Multiplicity' containment reference.
setName(String) - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
setName(String) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
setName(String) - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
setName(String) - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
setName(String) - Method in class tools.refinery.language.model.problem.impl.NamedElementImpl
setName(String) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
setName(String) - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
setName(String) - Method in interface tools.refinery.language.model.problem.NamedElement: Sets the value of the 'Name' attribute.
setNewNode(Node) - Method in interface tools.refinery.language.model.problem.ClassDeclaration: Sets the value of the 'New Node' containment reference.
setNewNode(Node) - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
setNode(VariableOrNode) - Method in class tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl
setNode(VariableOrNode) - Method in interface tools.refinery.language.model.problem.NodeAssertionArgument: Sets the value of the 'Node' reference.
setOp(BinaryOp) - Method in interface tools.refinery.language.model.problem.ArithmeticBinaryExpr: Sets the value of the 'Op' attribute.
setOp(BinaryOp) - Method in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
setOp(ComparisonOp) - Method in interface tools.refinery.language.model.problem.ComparisonExpr: Sets the value of the 'Op' attribute.
setOp(ComparisonOp) - Method in class tools.refinery.language.model.problem.impl.ComparisonExprImpl
setOp(LatticeBinaryOp) - Method in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
setOp(LatticeBinaryOp) - Method in interface tools.refinery.language.model.problem.LatticeBinaryExpr: Sets the value of the 'Op' attribute.
setOp(UnaryOp) - Method in interface tools.refinery.language.model.problem.ArithmeticUnaryExpr: Sets the value of the 'Op' attribute.
setOp(UnaryOp) - Method in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
setOpposite(ReferenceDeclaration) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
setOpposite(ReferenceDeclaration) - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Sets the value of the 'Opposite' reference.
setParameterType(Relation) - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
setParameterType(Relation) - Method in interface tools.refinery.language.model.problem.Parameter: Sets the value of the 'Parameter Type' reference.
setRealValue(double) - Method in class tools.refinery.language.model.problem.impl.RealConstantImpl
setRealValue(double) - Method in interface tools.refinery.language.model.problem.RealConstant: Sets the value of the 'Real Value' attribute.
setReferenceType(Relation) - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
setReferenceType(Relation) - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration: Sets the value of the 'Reference Type' reference.
setRelation(Relation) - Method in interface tools.refinery.language.model.problem.AbstractAssertion: Sets the value of the 'Relation' reference.
setRelation(Relation) - Method in interface tools.refinery.language.model.problem.Atom: Sets the value of the 'Relation' reference.
setRelation(Relation) - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
setRelation(Relation) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
setRelation(Relation) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
setRelation(Relation) - Method in class tools.refinery.language.model.problem.impl.AtomImpl
setRight(Expr) - Method in interface tools.refinery.language.model.problem.BinaryExpr: Sets the value of the 'Right' containment reference.
setRight(Expr) - Method in class tools.refinery.language.model.problem.impl.BinaryExprImpl
setShadow(boolean) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
setShadow(boolean) - Method in interface tools.refinery.language.model.problem.PredicateDefinition: Sets the value of the 'Shadow' attribute.
setSingletonVariable(ImplicitVariable) - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
setSingletonVariable(ImplicitVariable) - Method in interface tools.refinery.language.model.problem.VariableOrNodeExpr: Sets the value of the 'Singleton Variable' containment reference.
setStringValue(String) - Method in class tools.refinery.language.model.problem.impl.StringConstantImpl
setStringValue(String) - Method in interface tools.refinery.language.model.problem.StringConstant: Sets the value of the 'String Value' attribute.
setTargetType(Relation) - Method in interface tools.refinery.language.model.problem.CastExpr: Sets the value of the 'Target Type' reference.
setTargetType(Relation) - Method in class tools.refinery.language.model.problem.impl.CastExprImpl
setTargetType(Relation) - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
setTargetType(Relation) - Method in interface tools.refinery.language.model.problem.TypeScope: Sets the value of the 'Target Type' reference.
setTransitiveClosure(boolean) - Method in interface tools.refinery.language.model.problem.Atom: Sets the value of the 'Transitive Closure' attribute.
setTransitiveClosure(boolean) - Method in class tools.refinery.language.model.problem.impl.AtomImpl
setUpperBound(int) - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
setUpperBound(int) - Method in interface tools.refinery.language.model.problem.RangeMultiplicity: Sets the value of the 'Upper Bound' attribute.
setValue(Expr) - Method in interface tools.refinery.language.model.problem.AbstractAssertion: Sets the value of the 'Value' containment reference.
setValue(Expr) - Method in interface tools.refinery.language.model.problem.AggregationExpr: Sets the value of the 'Value' containment reference.
setValue(Expr) - Method in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl
setValue(Expr) - Method in class tools.refinery.language.model.problem.impl.AggregationExprImpl
setValue(Expr) - Method in class tools.refinery.language.model.problem.impl.AssertionActionImpl
setValue(Expr) - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
setValue(Expr) - Method in class tools.refinery.language.model.problem.impl.MatchImpl
setValue(Expr) - Method in interface tools.refinery.language.model.problem.Match: Sets the value of the 'Value' containment reference.
setVariableOrNode(VariableOrNode) - Method in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
setVariableOrNode(VariableOrNode) - Method in interface tools.refinery.language.model.problem.VariableOrNodeExpr: Sets the value of the 'Variable Or Node' reference.
shadow - Variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The cached value of the 'Shadow' attribute.
SHADOW_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl: The default value of the 'Shadow' attribute.
SINGLE - Enum constant in enum class tools.refinery.language.model.problem.ParameterBinding: The 'SINGLE' literal object.
SINGLE_VALUE - Static variable in enum class tools.refinery.language.model.problem.ParameterBinding: The 'SINGLE' literal value.
singletonVariable - Variable in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl: The cached value of the 'Singleton Variable' containment reference.
Statement - Interface in tools.refinery.language.model.problem: A representation of the model object 'Statement'.
STATEMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Statement' class.
STATEMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Statement' class.
STATEMENT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Statement' class.
STATEMENT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Statement' class.
statements - Variable in class tools.refinery.language.model.problem.impl.ProblemImpl: The cached value of the 'Statements' containment reference list.
STRING_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'String Constant' class.
STRING_CONSTANT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'String Constant' class.
STRING_CONSTANT__STRING_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'String Value' attribute feature.
STRING_CONSTANT__STRING_VALUE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'String Value' attribute.
STRING_CONSTANT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'String Constant' class.
STRING_CONSTANT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'String Constant' class.
STRING_VALUE_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.StringConstantImpl: The default value of the 'String Value' attribute.
StringConstant - Interface in tools.refinery.language.model.problem: A representation of the model object 'String Constant'.
StringConstantImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'String Constant'.
StringConstantImpl() - Constructor for class tools.refinery.language.model.problem.impl.StringConstantImpl
stringValue - Variable in class tools.refinery.language.model.problem.impl.StringConstantImpl: The cached value of the 'String Value' attribute.
SUB - Enum constant in enum class tools.refinery.language.model.problem.BinaryOp: The 'SUB' literal object.
SUB_VALUE - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: The 'SUB' literal value.
superTypes - Variable in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl: The cached value of the 'Super Types' reference list.

T

targetType - Variable in class tools.refinery.language.model.problem.impl.CastExprImpl: The cached value of the 'Target Type' reference.
targetType - Variable in class tools.refinery.language.model.problem.impl.TypeScopeImpl: The cached value of the 'Target Type' reference.
tools.refinery.language.model.problem - package tools.refinery.language.model.problem
tools.refinery.language.model.problem.impl - package tools.refinery.language.model.problem.impl
tools.refinery.language.model.problem.util - package tools.refinery.language.model.problem.util
toString() - Method in enum class tools.refinery.language.model.problem.BinaryOp: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.ComparisonOp: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.Concreteness: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in class tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl
toString() - Method in class tools.refinery.language.model.problem.impl.AssertionImpl
toString() - Method in class tools.refinery.language.model.problem.impl.AtomImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ClassDeclarationImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ComparisonExprImpl
toString() - Method in class tools.refinery.language.model.problem.impl.EnumDeclarationImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ExactMultiplicityImpl
toString() - Method in class tools.refinery.language.model.problem.impl.FunctionDefinitionImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ImportStatementImpl
toString() - Method in class tools.refinery.language.model.problem.impl.IntConstantImpl
toString() - Method in class tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl
toString() - Method in class tools.refinery.language.model.problem.impl.LogicConstantImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ModalExprImpl
toString() - Method in class tools.refinery.language.model.problem.impl.NamedElementImpl
toString() - Method in class tools.refinery.language.model.problem.impl.NodeDeclarationImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ParameterImpl
toString() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ProblemImpl
toString() - Method in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl
toString() - Method in class tools.refinery.language.model.problem.impl.RealConstantImpl
toString() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
toString() - Method in class tools.refinery.language.model.problem.impl.RuleDefinitionImpl
toString() - Method in class tools.refinery.language.model.problem.impl.StringConstantImpl
toString() - Method in class tools.refinery.language.model.problem.impl.TypeScopeImpl
toString() - Method in enum class tools.refinery.language.model.problem.LatticeBinaryOp: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.LogicValue: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.Modality: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.ModuleKind: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.NodeKind: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.ParameterBinding: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.ReferenceKind: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.RuleKind: Returns the literal value of the enumerator, which is its string representation.
toString() - Method in enum class tools.refinery.language.model.problem.UnaryOp: Returns the literal value of the enumerator, which is its string representation.
TRANSITIVE_CLOSURE_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.AtomImpl: The default value of the 'Transitive Closure' attribute.
transitiveClosure - Variable in class tools.refinery.language.model.problem.impl.AtomImpl: The cached value of the 'Transitive Closure' attribute.
TRUE - Enum constant in enum class tools.refinery.language.model.problem.LogicValue: The 'TRUE' literal object.
TRUE_VALUE - Static variable in enum class tools.refinery.language.model.problem.LogicValue: The 'TRUE' literal value.
TYPE_SCOPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Type Scope' class.
TYPE_SCOPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Type Scope' class.
TYPE_SCOPE__INCREMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Increment' attribute feature.
TYPE_SCOPE__INCREMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Increment' attribute.
TYPE_SCOPE__MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Multiplicity' containment reference feature.
TYPE_SCOPE__MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Multiplicity' containment reference.
TYPE_SCOPE__TARGET_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Target Type' reference feature.
TYPE_SCOPE__TARGET_TYPE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Target Type' reference.
TYPE_SCOPE_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Type Scope' class.
TYPE_SCOPE_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Type Scope' class.
TypeScope - Interface in tools.refinery.language.model.problem: A representation of the model object 'Type Scope'.
TypeScopeImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Type Scope'.
TypeScopeImpl() - Constructor for class tools.refinery.language.model.problem.impl.TypeScopeImpl
typeScopes - Variable in class tools.refinery.language.model.problem.impl.ScopeDeclarationImpl: The cached value of the 'Type Scopes' containment reference list.

U

UNARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Unary Expr' class.
UNARY_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Unary Expr' class.
UNARY_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Body' containment reference feature.
UNARY_EXPR__BODY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Body' containment reference.
UNARY_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Unary Expr' class.
UNARY_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Unary Expr' class.
UNARY_OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Unary Op' enum.
UNARY_OP - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Unary Op' enum.
UnaryExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Unary Expr'.
UnaryExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Unary Expr'.
UnaryExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.UnaryExprImpl
UnaryOp - Enum Class in tools.refinery.language.model.problem: A representation of the literals of the enumeration 'Unary Op', and utility methods for working with them.
UNBOUNDED_MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Unbounded Multiplicity' class.
UNBOUNDED_MULTIPLICITY - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Unbounded Multiplicity' class.
UNBOUNDED_MULTIPLICITY_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Unbounded Multiplicity' class.
UNBOUNDED_MULTIPLICITY_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Unbounded Multiplicity' class.
UnboundedMultiplicity - Interface in tools.refinery.language.model.problem: A representation of the model object 'Unbounded Multiplicity'.
UnboundedMultiplicityImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Unbounded Multiplicity'.
UnboundedMultiplicityImpl() - Constructor for class tools.refinery.language.model.problem.impl.UnboundedMultiplicityImpl
UNKNOWN - Enum constant in enum class tools.refinery.language.model.problem.LogicValue: The 'UNKNOWN' literal object.
UNKNOWN_VALUE - Static variable in enum class tools.refinery.language.model.problem.LogicValue: The 'UNKNOWN' literal value.
UNSPECIFIED - Enum constant in enum class tools.refinery.language.model.problem.Concreteness: The 'UNSPECIFIED' literal object.
UNSPECIFIED - Enum constant in enum class tools.refinery.language.model.problem.Modality: The 'UNSPECIFIED' literal object.
UNSPECIFIED_VALUE - Static variable in enum class tools.refinery.language.model.problem.Concreteness: The 'UNSPECIFIED' literal value.
UNSPECIFIED_VALUE - Static variable in enum class tools.refinery.language.model.problem.Modality: The 'UNSPECIFIED' literal value.
UPPER_BOUND_EDEFAULT - Static variable in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl: The default value of the 'Upper Bound' attribute.
upperBound - Variable in class tools.refinery.language.model.problem.impl.RangeMultiplicityImpl: The cached value of the 'Upper Bound' attribute.

V

value - Variable in class tools.refinery.language.model.problem.impl.AbstractAssertionImpl: The cached value of the 'Value' containment reference.
value - Variable in class tools.refinery.language.model.problem.impl.AggregationExprImpl: The cached value of the 'Value' containment reference.
value - Variable in class tools.refinery.language.model.problem.impl.AssertionActionImpl: The cached value of the 'Value' containment reference.
value - Variable in class tools.refinery.language.model.problem.impl.AssertionImpl: The cached value of the 'Value' containment reference.
value - Variable in class tools.refinery.language.model.problem.impl.MatchImpl: The cached value of the 'Value' containment reference.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.BinaryOp: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.ComparisonOp: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.Concreteness: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.LatticeBinaryOp: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.LogicValue: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.Modality: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.ModuleKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.NodeKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.ParameterBinding: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.ReferenceKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.RuleKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.model.problem.UnaryOp: Returns the enum constant of this class with the specified name.
values() - Static method in enum class tools.refinery.language.model.problem.BinaryOp: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.ComparisonOp: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.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.language.model.problem.LatticeBinaryOp: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.LogicValue: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.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.language.model.problem.ModuleKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.NodeKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.ParameterBinding: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.ReferenceKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.RuleKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.model.problem.UnaryOp: Returns an array containing the constants of this enum class, in the order they are declared.
VALUES - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: A public read-only list of all the 'Binary Op' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.ComparisonOp: A public read-only list of all the 'Comparison Op' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.Concreteness: A public read-only list of all the 'Concreteness' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.LatticeBinaryOp: A public read-only list of all the 'Lattice Binary Op' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.LogicValue: A public read-only list of all the 'Logic Value' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.Modality: A public read-only list of all the 'Modality' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.ModuleKind: A public read-only list of all the 'Module Kind' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.NodeKind: A public read-only list of all the 'Node Kind' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.ParameterBinding: A public read-only list of all the 'Parameter Binding' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.ReferenceKind: A public read-only list of all the 'Reference Kind' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.RuleKind: A public read-only list of all the 'Rule Kind' enumerators.
VALUES - Static variable in enum class tools.refinery.language.model.problem.UnaryOp: A public read-only list of all the 'Unary Op' enumerators.
Variable - Interface in tools.refinery.language.model.problem: A representation of the model object 'Variable'.
VARIABLE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Variable' class.
VARIABLE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Variable' class.
VARIABLE__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
VARIABLE_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Variable' class.
VARIABLE_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Variable' class.
VARIABLE_OR_NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Variable Or Node' class.
VARIABLE_OR_NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Variable Or Node' class.
VARIABLE_OR_NODE__NAME - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Name' attribute.
VARIABLE_OR_NODE_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Variable Or Node Expr' class.
VARIABLE_OR_NODE_EXPR - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Variable Or Node Expr' class.
VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Singleton Variable' containment reference feature.
VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Singleton Variable' containment reference.
VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Variable Or Node' reference feature.
VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The feature id for the 'Variable Or Node' reference.
VARIABLE_OR_NODE_EXPR_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Variable Or Node Expr' class.
VARIABLE_OR_NODE_EXPR_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Variable Or Node Expr' class.
VARIABLE_OR_NODE_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Variable Or Node' class.
VARIABLE_OR_NODE_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Variable Or Node' class.
VariableImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Variable'.
VariableImpl() - Constructor for class tools.refinery.language.model.problem.impl.VariableImpl
variableOrNode - Variable in class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl: The cached value of the 'Variable Or Node' reference.
VariableOrNode - Interface in tools.refinery.language.model.problem: A representation of the model object 'Variable Or Node'.
VariableOrNodeExpr - Interface in tools.refinery.language.model.problem: A representation of the model object 'Variable Or Node Expr'.
VariableOrNodeExprImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Variable Or Node Expr'.
VariableOrNodeExprImpl() - Constructor for class tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl
VariableOrNodeImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Variable Or Node'.
VariableOrNodeImpl() - Constructor for class tools.refinery.language.model.problem.impl.VariableOrNodeImpl

W

WILDCARD_ASSERTION_ARGUMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals: The meta object literal for the 'Wildcard Assertion Argument' class.
WILDCARD_ASSERTION_ARGUMENT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The meta object id for the 'Wildcard Assertion Argument' class.
WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of structural features of the 'Wildcard Assertion Argument' class.
WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNT - Static variable in interface tools.refinery.language.model.problem.ProblemPackage: The number of operations of the 'Wildcard Assertion Argument' class.
WildcardAssertionArgument - Interface in tools.refinery.language.model.problem: A representation of the model object 'Wildcard Assertion Argument'.
WildcardAssertionArgumentImpl - Class in tools.refinery.language.model.problem.impl: An implementation of the model object 'Wildcard Assertion Argument'.
WildcardAssertionArgumentImpl() - Constructor for class tools.refinery.language.model.problem.impl.WildcardAssertionArgumentImpl

X

XOR - Enum constant in enum class tools.refinery.language.model.problem.BinaryOp: The 'XOR' literal object.
XOR_VALUE - Static variable in enum class tools.refinery.language.model.problem.BinaryOp: The 'XOR' literal value.

A B C D E F G I J K L M N O P Q R S T U V W X
All Classes and Interfaces|All Packages|Constant Field Values