Index
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. - CONCRETIZATION - Enum constant in enum class tools.refinery.language.model.problem.RuleKind
-
The 'CONCRETIZATION' literal object.
- CONCRETIZATION_VALUE - Static variable in enum class tools.refinery.language.model.problem.RuleKind
-
The 'CONCRETIZATION' literal value.
- 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
- convertPredicateKindToString(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
'. - createPredicateKindFromString(EDataType, String) - Method in class tools.refinery.language.model.problem.impl.ProblemFactoryImpl
- 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.PredicateKind
-
The 'DEFAULT' literal object.
- 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.PredicateKind
-
The 'DEFAULT' literal value.
- 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 - Enum constant in enum class tools.refinery.language.model.problem.LogicValue
-
The 'ERROR' literal object.
- ERROR - Enum constant in enum class tools.refinery.language.model.problem.PredicateKind
-
The 'ERROR' literal object.
- ERROR_VALUE - Static variable in enum class tools.refinery.language.model.problem.LogicValue
-
The 'ERROR' literal value.
- ERROR_VALUE - Static variable in enum class tools.refinery.language.model.problem.PredicateKind
-
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.PredicateKind
-
Returns the 'Predicate Kind' 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.PredicateKind
-
Returns the 'Predicate Kind' 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.PredicateKind
-
Returns the 'Predicate Kind' 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.PredicateDefinitionImpl
- 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.PredicateDefinition
-
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.PredicateKind
- 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.PredicateKind
- 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_Kind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
- getPredicateDefinition_Kind() - Method in interface tools.refinery.language.model.problem.ProblemPackage
-
Returns the meta object for the attribute '
Kind
'. - getPredicateDefinition_SuperSets() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
- getPredicateDefinition_SuperSets() - Method in interface tools.refinery.language.model.problem.ProblemPackage
-
Returns the meta object for the reference list '
Super Sets
'. - getPredicateKind() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
- getPredicateKind() - Method in interface tools.refinery.language.model.problem.ProblemPackage
-
Returns the meta object for enum '
Predicate Kind
'. - 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
'. - getReferenceDeclaration_SuperSets() - Method in class tools.refinery.language.model.problem.impl.ProblemPackageImpl
- getReferenceDeclaration_SuperSets() - Method in interface tools.refinery.language.model.problem.ProblemPackage
-
Returns the meta object for the reference list '
Super Sets
'. - 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.
- getSuperSets() - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
- getSuperSets() - Method in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
- getSuperSets() - Method in interface tools.refinery.language.model.problem.PredicateDefinition
-
Returns the value of the 'Super Sets' reference list.
- getSuperSets() - Method in interface tools.refinery.language.model.problem.ReferenceDeclaration
-
Returns the value of the 'Super Sets' reference list.
- 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.PredicateKind
- 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
- 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.
- 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.PredicateDefinitionImpl
-
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.PredicateDefinitionImpl
-
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.
- LONE - Enum constant in enum class tools.refinery.language.model.problem.ParameterBinding
-
The 'LONE' literal object.
- LONE_VALUE - Static variable in enum class tools.refinery.language.model.problem.ParameterBinding
-
The 'LONE' literal value.
- 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.PredicateKind
-
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.PredicateKind
-
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__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals
-
The meta object literal for the 'Kind' attribute feature.
- PREDICATE_DEFINITION__KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage
-
The feature id for the 'Kind' 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__SUPER_SETS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals
-
The meta object literal for the 'Super Sets' reference list feature.
- PREDICATE_DEFINITION__SUPER_SETS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage
-
The feature id for the 'Super Sets' reference list.
- 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.
- PREDICATE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals
-
The meta object literal for the '
Predicate Kind
' enum. - PREDICATE_KIND - Static variable in interface tools.refinery.language.model.problem.ProblemPackage
-
The meta object id for the '
Predicate Kind
' enum. - 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
- PredicateKind - Enum Class in tools.refinery.language.model.problem
-
A representation of the literals of the enumeration 'Predicate Kind', and utility methods for working with them.
- 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__SUPER_SETS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage.Literals
-
The meta object literal for the 'Super Sets' reference list feature.
- REFERENCE_DECLARATION__SUPER_SETS - Static variable in interface tools.refinery.language.model.problem.ProblemPackage
-
The feature id for the 'Super Sets' reference list.
- 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
- 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(PredicateKind) - Method in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
- setKind(PredicateKind) - Method in interface tools.refinery.language.model.problem.PredicateDefinition
-
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
- 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 - Enum constant in enum class tools.refinery.language.model.problem.PredicateKind
-
The 'SHADOW' literal object.
- SHADOW_VALUE - Static variable in enum class tools.refinery.language.model.problem.PredicateKind
-
The 'SHADOW' literal value.
- 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.
- superSets - Variable in class tools.refinery.language.model.problem.impl.PredicateDefinitionImpl
-
The cached value of the '
Super Sets
' reference list. - superSets - Variable in class tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl
-
The cached value of the '
Super Sets
' reference list. - 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.PredicateKind
-
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.PredicateKind
-
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.PredicateKind
-
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.PredicateKind
-
A public read-only list of all the 'Predicate Kind' 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.
All Classes and Interfaces|All Packages|Constant Field Values