Interface ProblemPackage.Literals
- Enclosing interface:
ProblemPackage
public static interface ProblemPackage.Literals
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
-
Field Summary
Modifier and TypeFieldDescriptionstatic final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Abstract Assertion
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Arguments' containment reference list feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Relation' reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Value' containment reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Action
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Aggregation Expr
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Aggregator' reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Condition' containment reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Value' containment reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Aggregator Declaration
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Arithmetic Binary Expr
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Op' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Arithmetic Unary Expr
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Op' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Assertion
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Default' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Assertion Action
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Assertion Argument
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Assignment Expr
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Atom
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Arguments' containment reference list feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Relation' reference feature.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Transitive Closure' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Binary Expr
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Left' containment reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Right' containment reference feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Binary Op
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Case
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Cast Expr
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Body' containment reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Target Type' reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Class Declaration
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Abstract' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Feature Declarations' containment reference list feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'New Node' containment reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Super Types' reference list feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Comparison Expr
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Op' attribute feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Comparison Op
' enum.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Concreteness
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Conjunction
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Literals' containment reference list feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Consequent
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Actions' containment reference list feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Constant
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Count Expr
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Datatype Declaration
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Enum Declaration
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Literals' containment reference list feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Exact Multiplicity
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Exact Value' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Existential Quantifier
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Implicit Variables' containment reference list feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Expr
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Function Definition
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Cases' containment reference list feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Function Type' reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Implicit Variable
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Import Statement
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Alias' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Imported Module' reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Infinite Constant
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Int Constant
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Int Value' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Lattice Binary Expr
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Op' attribute feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Lattice Binary Op
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Logic Constant
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Logic Value' attribute feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Logic Value
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Match
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Condition' containment reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Value' containment reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Modal Expr
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Concreteness' attribute feature.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Modality' attribute feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Modality
' enum.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Module Kind
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Multiplicity
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Named Element
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Name' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Negation Expr
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Node
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Node Assertion Argument
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Node' reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Node Declaration
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Kind' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Nodes' containment reference list feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Node Kind
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Parameter
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Binding' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Parameter Type' reference feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Parameter Binding
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Parametric Definition
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Parameters' containment reference list feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Predicate Definition
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Bodies' containment reference list feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Computed Value' containment reference feature.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Kind' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Super Sets' reference list feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Predicate Kind
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Problem
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Explicit Kind' attribute feature.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Kind' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Nodes' containment reference list feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Statements' containment reference list feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Quantified Unary Expr
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Range Expr
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Range Multiplicity
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Lower Bound' attribute feature.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Upper Bound' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Real Constant
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Real Value' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Reference Declaration
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Invalid Multiplicity' containment reference feature.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Kind' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Multiplicity' containment reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Opposite' reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Reference Type' reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Super Sets' reference list feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Reference Kind
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Relation
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Rule Definition
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Consequents' containment reference list feature.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Kind' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Preconditions' containment reference list feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Rule Kind
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Scope Declaration
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Type Scopes' containment reference list feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Statement
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'String Constant
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'String Value' attribute feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Type Scope
' class.static final org.eclipse.emf.ecore.EAttribute
The meta object literal for the 'Increment' attribute feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Multiplicity' containment reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Target Type' reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Unary Expr
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Body' containment reference feature.static final org.eclipse.emf.ecore.EEnum
The meta object literal for the 'Unary Op
' enum.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Unbounded Multiplicity
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Variable
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Variable Or Node
' class.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Variable Or Node Expr
' class.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Singleton Variable' containment reference feature.static final org.eclipse.emf.ecore.EReference
The meta object literal for the 'Variable Or Node' reference feature.static final org.eclipse.emf.ecore.EClass
The meta object literal for the 'Wildcard Assertion Argument
' class.
-
Field Details
-
PROBLEM
static final org.eclipse.emf.ecore.EClass PROBLEMThe meta object literal for the 'Problem
' class.- See Also:
-
PROBLEM__NODES
static final org.eclipse.emf.ecore.EReference PROBLEM__NODESThe meta object literal for the 'Nodes' containment reference list feature. -
PROBLEM__STATEMENTS
static final org.eclipse.emf.ecore.EReference PROBLEM__STATEMENTSThe meta object literal for the 'Statements' containment reference list feature. -
PROBLEM__KIND
static final org.eclipse.emf.ecore.EAttribute PROBLEM__KINDThe meta object literal for the 'Kind' attribute feature. -
PROBLEM__EXPLICIT_KIND
static final org.eclipse.emf.ecore.EAttribute PROBLEM__EXPLICIT_KINDThe meta object literal for the 'Explicit Kind' attribute feature. -
CLASS_DECLARATION
static final org.eclipse.emf.ecore.EClass CLASS_DECLARATIONThe meta object literal for the 'Class Declaration
' class.- See Also:
-
CLASS_DECLARATION__ABSTRACT
static final org.eclipse.emf.ecore.EAttribute CLASS_DECLARATION__ABSTRACTThe meta object literal for the 'Abstract' attribute feature. -
CLASS_DECLARATION__FEATURE_DECLARATIONS
static final org.eclipse.emf.ecore.EReference CLASS_DECLARATION__FEATURE_DECLARATIONSThe meta object literal for the 'Feature Declarations' containment reference list feature. -
CLASS_DECLARATION__NEW_NODE
static final org.eclipse.emf.ecore.EReference CLASS_DECLARATION__NEW_NODEThe meta object literal for the 'New Node' containment reference feature. -
CLASS_DECLARATION__SUPER_TYPES
static final org.eclipse.emf.ecore.EReference CLASS_DECLARATION__SUPER_TYPESThe meta object literal for the 'Super Types' reference list feature. -
REFERENCE_DECLARATION
static final org.eclipse.emf.ecore.EClass REFERENCE_DECLARATIONThe meta object literal for the 'Reference Declaration
' class.- See Also:
-
REFERENCE_DECLARATION__OPPOSITE
static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__OPPOSITEThe meta object literal for the 'Opposite' reference feature. -
REFERENCE_DECLARATION__MULTIPLICITY
static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__MULTIPLICITYThe meta object literal for the 'Multiplicity' containment reference feature. -
REFERENCE_DECLARATION__KIND
static final org.eclipse.emf.ecore.EAttribute REFERENCE_DECLARATION__KINDThe meta object literal for the 'Kind' attribute feature. -
REFERENCE_DECLARATION__REFERENCE_TYPE
static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__REFERENCE_TYPEThe meta object literal for the 'Reference Type' reference feature. -
REFERENCE_DECLARATION__INVALID_MULTIPLICITY
static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__INVALID_MULTIPLICITYThe meta object literal for the 'Invalid Multiplicity' containment reference feature. -
REFERENCE_DECLARATION__SUPER_SETS
static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__SUPER_SETSThe meta object literal for the 'Super Sets' reference list feature. -
NAMED_ELEMENT
static final org.eclipse.emf.ecore.EClass NAMED_ELEMENTThe meta object literal for the 'Named Element
' class.- See Also:
-
NAMED_ELEMENT__NAME
static final org.eclipse.emf.ecore.EAttribute NAMED_ELEMENT__NAMEThe meta object literal for the 'Name' attribute feature. -
PREDICATE_DEFINITION
static final org.eclipse.emf.ecore.EClass PREDICATE_DEFINITIONThe meta object literal for the 'Predicate Definition
' class.- See Also:
-
PREDICATE_DEFINITION__BODIES
static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__BODIESThe meta object literal for the 'Bodies' containment reference list feature. -
PREDICATE_DEFINITION__KIND
static final org.eclipse.emf.ecore.EAttribute PREDICATE_DEFINITION__KINDThe meta object literal for the 'Kind' attribute feature. -
PREDICATE_DEFINITION__COMPUTED_VALUE
static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__COMPUTED_VALUEThe meta object literal for the 'Computed Value' containment reference feature. -
PREDICATE_DEFINITION__SUPER_SETS
static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__SUPER_SETSThe meta object literal for the 'Super Sets' reference list feature. -
PARAMETER
static final org.eclipse.emf.ecore.EClass PARAMETERThe meta object literal for the 'Parameter
' class.- See Also:
-
PARAMETER__PARAMETER_TYPE
static final org.eclipse.emf.ecore.EReference PARAMETER__PARAMETER_TYPEThe meta object literal for the 'Parameter Type' reference feature. -
PARAMETER__BINDING
static final org.eclipse.emf.ecore.EAttribute PARAMETER__BINDINGThe meta object literal for the 'Binding' attribute feature. -
VARIABLE
static final org.eclipse.emf.ecore.EClass VARIABLEThe meta object literal for the 'Variable
' class.- See Also:
-
ATOM
static final org.eclipse.emf.ecore.EClass ATOMThe meta object literal for the 'Atom
' class.- See Also:
-
ATOM__TRANSITIVE_CLOSURE
static final org.eclipse.emf.ecore.EAttribute ATOM__TRANSITIVE_CLOSUREThe meta object literal for the 'Transitive Closure' attribute feature. -
ATOM__ARGUMENTS
static final org.eclipse.emf.ecore.EReference ATOM__ARGUMENTSThe meta object literal for the 'Arguments' containment reference list feature. -
ATOM__RELATION
static final org.eclipse.emf.ecore.EReference ATOM__RELATIONThe meta object literal for the 'Relation' reference feature. -
IMPLICIT_VARIABLE
static final org.eclipse.emf.ecore.EClass IMPLICIT_VARIABLEThe meta object literal for the 'Implicit Variable
' class.- See Also:
-
EXISTENTIAL_QUANTIFIER
static final org.eclipse.emf.ecore.EClass EXISTENTIAL_QUANTIFIERThe meta object literal for the 'Existential Quantifier
' class.- See Also:
-
EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES
static final org.eclipse.emf.ecore.EReference EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLESThe meta object literal for the 'Implicit Variables' containment reference list feature. -
ABSTRACT_ASSERTION
static final org.eclipse.emf.ecore.EClass ABSTRACT_ASSERTIONThe meta object literal for the 'Abstract Assertion
' class.- See Also:
-
ABSTRACT_ASSERTION__ARGUMENTS
static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__ARGUMENTSThe meta object literal for the 'Arguments' containment reference list feature. -
ABSTRACT_ASSERTION__RELATION
static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__RELATIONThe meta object literal for the 'Relation' reference feature. -
ABSTRACT_ASSERTION__VALUE
static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__VALUEThe meta object literal for the 'Value' containment reference feature. -
NODE
static final org.eclipse.emf.ecore.EClass NODEThe meta object literal for the 'Node
' class.- See Also:
-
SCOPE_DECLARATION
static final org.eclipse.emf.ecore.EClass SCOPE_DECLARATIONThe meta object literal for the 'Scope Declaration
' class.- See Also:
-
SCOPE_DECLARATION__TYPE_SCOPES
static final org.eclipse.emf.ecore.EReference SCOPE_DECLARATION__TYPE_SCOPESThe meta object literal for the 'Type Scopes' containment reference list feature. -
STATEMENT
static final org.eclipse.emf.ecore.EClass STATEMENTThe meta object literal for the 'Statement
' class.- See Also:
-
TYPE_SCOPE
static final org.eclipse.emf.ecore.EClass TYPE_SCOPEThe meta object literal for the 'Type Scope
' class.- See Also:
-
TYPE_SCOPE__INCREMENT
static final org.eclipse.emf.ecore.EAttribute TYPE_SCOPE__INCREMENTThe meta object literal for the 'Increment' attribute feature. -
TYPE_SCOPE__MULTIPLICITY
static final org.eclipse.emf.ecore.EReference TYPE_SCOPE__MULTIPLICITYThe meta object literal for the 'Multiplicity' containment reference feature. -
TYPE_SCOPE__TARGET_TYPE
static final org.eclipse.emf.ecore.EReference TYPE_SCOPE__TARGET_TYPEThe meta object literal for the 'Target Type' reference feature. -
MULTIPLICITY
static final org.eclipse.emf.ecore.EClass MULTIPLICITYThe meta object literal for the 'Multiplicity
' class.- See Also:
-
RANGE_MULTIPLICITY
static final org.eclipse.emf.ecore.EClass RANGE_MULTIPLICITYThe meta object literal for the 'Range Multiplicity
' class.- See Also:
-
RANGE_MULTIPLICITY__LOWER_BOUND
static final org.eclipse.emf.ecore.EAttribute RANGE_MULTIPLICITY__LOWER_BOUNDThe meta object literal for the 'Lower Bound' attribute feature. -
RANGE_MULTIPLICITY__UPPER_BOUND
static final org.eclipse.emf.ecore.EAttribute RANGE_MULTIPLICITY__UPPER_BOUNDThe meta object literal for the 'Upper Bound' attribute feature. -
EXACT_MULTIPLICITY
static final org.eclipse.emf.ecore.EClass EXACT_MULTIPLICITYThe meta object literal for the 'Exact Multiplicity
' class.- See Also:
-
EXACT_MULTIPLICITY__EXACT_VALUE
static final org.eclipse.emf.ecore.EAttribute EXACT_MULTIPLICITY__EXACT_VALUEThe meta object literal for the 'Exact Value' attribute feature. -
UNBOUNDED_MULTIPLICITY
static final org.eclipse.emf.ecore.EClass UNBOUNDED_MULTIPLICITYThe meta object literal for the 'Unbounded Multiplicity
' class.- See Also:
-
ENUM_DECLARATION
static final org.eclipse.emf.ecore.EClass ENUM_DECLARATIONThe meta object literal for the 'Enum Declaration
' class.- See Also:
-
ENUM_DECLARATION__LITERALS
static final org.eclipse.emf.ecore.EReference ENUM_DECLARATION__LITERALSThe meta object literal for the 'Literals' containment reference list feature. -
VARIABLE_OR_NODE
static final org.eclipse.emf.ecore.EClass VARIABLE_OR_NODEThe meta object literal for the 'Variable Or Node
' class.- See Also:
-
CONSTANT
static final org.eclipse.emf.ecore.EClass CONSTANTThe meta object literal for the 'Constant
' class.- See Also:
-
INT_CONSTANT
static final org.eclipse.emf.ecore.EClass INT_CONSTANTThe meta object literal for the 'Int Constant
' class.- See Also:
-
INT_CONSTANT__INT_VALUE
static final org.eclipse.emf.ecore.EAttribute INT_CONSTANT__INT_VALUEThe meta object literal for the 'Int Value' attribute feature. -
REAL_CONSTANT
static final org.eclipse.emf.ecore.EClass REAL_CONSTANTThe meta object literal for the 'Real Constant
' class.- See Also:
-
REAL_CONSTANT__REAL_VALUE
static final org.eclipse.emf.ecore.EAttribute REAL_CONSTANT__REAL_VALUEThe meta object literal for the 'Real Value' attribute feature. -
STRING_CONSTANT
static final org.eclipse.emf.ecore.EClass STRING_CONSTANTThe meta object literal for the 'String Constant
' class.- See Also:
-
STRING_CONSTANT__STRING_VALUE
static final org.eclipse.emf.ecore.EAttribute STRING_CONSTANT__STRING_VALUEThe meta object literal for the 'String Value' attribute feature. -
NODE_ASSERTION_ARGUMENT
static final org.eclipse.emf.ecore.EClass NODE_ASSERTION_ARGUMENTThe meta object literal for the 'Node Assertion Argument
' class.- See Also:
-
NODE_ASSERTION_ARGUMENT__NODE
static final org.eclipse.emf.ecore.EReference NODE_ASSERTION_ARGUMENT__NODEThe meta object literal for the 'Node' reference feature. -
ASSERTION_ARGUMENT
static final org.eclipse.emf.ecore.EClass ASSERTION_ARGUMENTThe meta object literal for the 'Assertion Argument
' class.- See Also:
-
NODE_DECLARATION
static final org.eclipse.emf.ecore.EClass NODE_DECLARATIONThe meta object literal for the 'Node Declaration
' class.- See Also:
-
NODE_DECLARATION__NODES
static final org.eclipse.emf.ecore.EReference NODE_DECLARATION__NODESThe meta object literal for the 'Nodes' containment reference list feature. -
NODE_DECLARATION__KIND
static final org.eclipse.emf.ecore.EAttribute NODE_DECLARATION__KINDThe meta object literal for the 'Kind' attribute feature. -
WILDCARD_ASSERTION_ARGUMENT
static final org.eclipse.emf.ecore.EClass WILDCARD_ASSERTION_ARGUMENTThe meta object literal for the 'Wildcard Assertion Argument
' class.- See Also:
-
PARAMETRIC_DEFINITION
static final org.eclipse.emf.ecore.EClass PARAMETRIC_DEFINITIONThe meta object literal for the 'Parametric Definition
' class.- See Also:
-
PARAMETRIC_DEFINITION__PARAMETERS
static final org.eclipse.emf.ecore.EReference PARAMETRIC_DEFINITION__PARAMETERSThe meta object literal for the 'Parameters' containment reference list feature. -
RULE_DEFINITION
static final org.eclipse.emf.ecore.EClass RULE_DEFINITIONThe meta object literal for the 'Rule Definition
' class.- See Also:
-
RULE_DEFINITION__CONSEQUENTS
static final org.eclipse.emf.ecore.EReference RULE_DEFINITION__CONSEQUENTSThe meta object literal for the 'Consequents' containment reference list feature. -
RULE_DEFINITION__PRECONDITIONS
static final org.eclipse.emf.ecore.EReference RULE_DEFINITION__PRECONDITIONSThe meta object literal for the 'Preconditions' containment reference list feature. -
RULE_DEFINITION__KIND
static final org.eclipse.emf.ecore.EAttribute RULE_DEFINITION__KINDThe meta object literal for the 'Kind' attribute feature. -
CONSEQUENT
static final org.eclipse.emf.ecore.EClass CONSEQUENTThe meta object literal for the 'Consequent
' class.- See Also:
-
CONSEQUENT__ACTIONS
static final org.eclipse.emf.ecore.EReference CONSEQUENT__ACTIONSThe meta object literal for the 'Actions' containment reference list feature. -
ACTION
static final org.eclipse.emf.ecore.EClass ACTIONThe meta object literal for the 'Action
' class.- See Also:
-
ASSERTION_ACTION
static final org.eclipse.emf.ecore.EClass ASSERTION_ACTIONThe meta object literal for the 'Assertion Action
' class.- See Also:
-
EXPR
static final org.eclipse.emf.ecore.EClass EXPRThe meta object literal for the 'Expr
' class.- See Also:
-
VARIABLE_OR_NODE_EXPR
static final org.eclipse.emf.ecore.EClass VARIABLE_OR_NODE_EXPRThe meta object literal for the 'Variable Or Node Expr
' class.- See Also:
-
VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE
static final org.eclipse.emf.ecore.EReference VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODEThe meta object literal for the 'Variable Or Node' reference feature. -
VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE
static final org.eclipse.emf.ecore.EReference VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLEThe meta object literal for the 'Singleton Variable' containment reference feature. -
BINARY_EXPR
static final org.eclipse.emf.ecore.EClass BINARY_EXPRThe meta object literal for the 'Binary Expr
' class.- See Also:
-
BINARY_EXPR__LEFT
static final org.eclipse.emf.ecore.EReference BINARY_EXPR__LEFTThe meta object literal for the 'Left' containment reference feature. -
BINARY_EXPR__RIGHT
static final org.eclipse.emf.ecore.EReference BINARY_EXPR__RIGHTThe meta object literal for the 'Right' containment reference feature. -
UNARY_EXPR
static final org.eclipse.emf.ecore.EClass UNARY_EXPRThe meta object literal for the 'Unary Expr
' class.- See Also:
-
UNARY_EXPR__BODY
static final org.eclipse.emf.ecore.EReference UNARY_EXPR__BODYThe meta object literal for the 'Body' containment reference feature. -
ARITHMETIC_UNARY_EXPR
static final org.eclipse.emf.ecore.EClass ARITHMETIC_UNARY_EXPRThe meta object literal for the 'Arithmetic Unary Expr
' class.- See Also:
-
ARITHMETIC_UNARY_EXPR__OP
static final org.eclipse.emf.ecore.EAttribute ARITHMETIC_UNARY_EXPR__OPThe meta object literal for the 'Op' attribute feature. -
AGGREGATION_EXPR
static final org.eclipse.emf.ecore.EClass AGGREGATION_EXPRThe meta object literal for the 'Aggregation Expr
' class.- See Also:
-
AGGREGATION_EXPR__VALUE
static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__VALUEThe meta object literal for the 'Value' containment reference feature. -
AGGREGATION_EXPR__CONDITION
static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__CONDITIONThe meta object literal for the 'Condition' containment reference feature. -
AGGREGATION_EXPR__AGGREGATOR
static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__AGGREGATORThe meta object literal for the 'Aggregator' reference feature. -
COMPARISON_EXPR
static final org.eclipse.emf.ecore.EClass COMPARISON_EXPRThe meta object literal for the 'Comparison Expr
' class.- See Also:
-
COMPARISON_EXPR__OP
static final org.eclipse.emf.ecore.EAttribute COMPARISON_EXPR__OPThe meta object literal for the 'Op' attribute feature. -
QUANTIFIED_UNARY_EXPR
static final org.eclipse.emf.ecore.EClass QUANTIFIED_UNARY_EXPRThe meta object literal for the 'Quantified Unary Expr
' class.- See Also:
-
FUNCTION_DEFINITION
static final org.eclipse.emf.ecore.EClass FUNCTION_DEFINITIONThe meta object literal for the 'Function Definition
' class.- See Also:
-
FUNCTION_DEFINITION__CASES
static final org.eclipse.emf.ecore.EReference FUNCTION_DEFINITION__CASESThe meta object literal for the 'Cases' containment reference list feature. -
FUNCTION_DEFINITION__FUNCTION_TYPE
static final org.eclipse.emf.ecore.EReference FUNCTION_DEFINITION__FUNCTION_TYPEThe meta object literal for the 'Function Type' reference feature. -
CASE
static final org.eclipse.emf.ecore.EClass CASEThe meta object literal for the 'Case
' class.- See Also:
-
CONJUNCTION
static final org.eclipse.emf.ecore.EClass CONJUNCTIONThe meta object literal for the 'Conjunction
' class.- See Also:
-
CONJUNCTION__LITERALS
static final org.eclipse.emf.ecore.EReference CONJUNCTION__LITERALSThe meta object literal for the 'Literals' containment reference list feature. -
MATCH
static final org.eclipse.emf.ecore.EClass MATCHThe meta object literal for the 'Match
' class.- See Also:
-
MATCH__CONDITION
static final org.eclipse.emf.ecore.EReference MATCH__CONDITIONThe meta object literal for the 'Condition' containment reference feature. -
MATCH__VALUE
static final org.eclipse.emf.ecore.EReference MATCH__VALUEThe meta object literal for the 'Value' containment reference feature. -
ARITHMETIC_BINARY_EXPR
static final org.eclipse.emf.ecore.EClass ARITHMETIC_BINARY_EXPRThe meta object literal for the 'Arithmetic Binary Expr
' class.- See Also:
-
ARITHMETIC_BINARY_EXPR__OP
static final org.eclipse.emf.ecore.EAttribute ARITHMETIC_BINARY_EXPR__OPThe meta object literal for the 'Op' attribute feature. -
NEGATION_EXPR
static final org.eclipse.emf.ecore.EClass NEGATION_EXPRThe meta object literal for the 'Negation Expr
' class.- See Also:
-
COUNT_EXPR
static final org.eclipse.emf.ecore.EClass COUNT_EXPRThe meta object literal for the 'Count Expr
' class.- See Also:
-
RELATION
static final org.eclipse.emf.ecore.EClass RELATIONThe meta object literal for the 'Relation
' class.- See Also:
-
RANGE_EXPR
static final org.eclipse.emf.ecore.EClass RANGE_EXPRThe meta object literal for the 'Range Expr
' class.- See Also:
-
LOGIC_CONSTANT
static final org.eclipse.emf.ecore.EClass LOGIC_CONSTANTThe meta object literal for the 'Logic Constant
' class.- See Also:
-
LOGIC_CONSTANT__LOGIC_VALUE
static final org.eclipse.emf.ecore.EAttribute LOGIC_CONSTANT__LOGIC_VALUEThe meta object literal for the 'Logic Value' attribute feature. -
IMPORT_STATEMENT
static final org.eclipse.emf.ecore.EClass IMPORT_STATEMENTThe meta object literal for the 'Import Statement
' class.- See Also:
-
IMPORT_STATEMENT__IMPORTED_MODULE
static final org.eclipse.emf.ecore.EReference IMPORT_STATEMENT__IMPORTED_MODULEThe meta object literal for the 'Imported Module' reference feature. -
IMPORT_STATEMENT__ALIAS
static final org.eclipse.emf.ecore.EAttribute IMPORT_STATEMENT__ALIASThe meta object literal for the 'Alias' attribute feature. -
DATATYPE_DECLARATION
static final org.eclipse.emf.ecore.EClass DATATYPE_DECLARATIONThe meta object literal for the 'Datatype Declaration
' class.- See Also:
-
LATTICE_BINARY_EXPR
static final org.eclipse.emf.ecore.EClass LATTICE_BINARY_EXPRThe meta object literal for the 'Lattice Binary Expr
' class.- See Also:
-
LATTICE_BINARY_EXPR__OP
static final org.eclipse.emf.ecore.EAttribute LATTICE_BINARY_EXPR__OPThe meta object literal for the 'Op' attribute feature. -
CAST_EXPR
static final org.eclipse.emf.ecore.EClass CAST_EXPRThe meta object literal for the 'Cast Expr
' class.- See Also:
-
CAST_EXPR__BODY
static final org.eclipse.emf.ecore.EReference CAST_EXPR__BODYThe meta object literal for the 'Body' containment reference feature. -
CAST_EXPR__TARGET_TYPE
static final org.eclipse.emf.ecore.EReference CAST_EXPR__TARGET_TYPEThe meta object literal for the 'Target Type' reference feature. -
ASSIGNMENT_EXPR
static final org.eclipse.emf.ecore.EClass ASSIGNMENT_EXPRThe meta object literal for the 'Assignment Expr
' class.- See Also:
-
INFINITE_CONSTANT
static final org.eclipse.emf.ecore.EClass INFINITE_CONSTANTThe meta object literal for the 'Infinite Constant
' class.- See Also:
-
AGGREGATOR_DECLARATION
static final org.eclipse.emf.ecore.EClass AGGREGATOR_DECLARATIONThe meta object literal for the 'Aggregator Declaration
' class.- See Also:
-
MODAL_EXPR
static final org.eclipse.emf.ecore.EClass MODAL_EXPRThe meta object literal for the 'Modal Expr
' class.- See Also:
-
MODAL_EXPR__CONCRETENESS
static final org.eclipse.emf.ecore.EAttribute MODAL_EXPR__CONCRETENESSThe meta object literal for the 'Concreteness' attribute feature. -
MODAL_EXPR__MODALITY
static final org.eclipse.emf.ecore.EAttribute MODAL_EXPR__MODALITYThe meta object literal for the 'Modality' attribute feature. -
ASSERTION
static final org.eclipse.emf.ecore.EClass ASSERTIONThe meta object literal for the 'Assertion
' class.- See Also:
-
ASSERTION__DEFAULT
static final org.eclipse.emf.ecore.EAttribute ASSERTION__DEFAULTThe meta object literal for the 'Default' attribute feature. -
LOGIC_VALUE
static final org.eclipse.emf.ecore.EEnum LOGIC_VALUEThe meta object literal for the 'Logic Value
' enum.- See Also:
-
COMPARISON_OP
static final org.eclipse.emf.ecore.EEnum COMPARISON_OPThe meta object literal for the 'Comparison Op
' enum.- See Also:
-
REFERENCE_KIND
static final org.eclipse.emf.ecore.EEnum REFERENCE_KINDThe meta object literal for the 'Reference Kind
' enum.- See Also:
-
UNARY_OP
static final org.eclipse.emf.ecore.EEnum UNARY_OPThe meta object literal for the 'Unary Op
' enum.- See Also:
-
BINARY_OP
static final org.eclipse.emf.ecore.EEnum BINARY_OPThe meta object literal for the 'Binary Op
' enum.- See Also:
-
MODULE_KIND
static final org.eclipse.emf.ecore.EEnum MODULE_KINDThe meta object literal for the 'Module Kind
' enum.- See Also:
-
NODE_KIND
static final org.eclipse.emf.ecore.EEnum NODE_KINDThe meta object literal for the 'Node Kind
' enum.- See Also:
-
LATTICE_BINARY_OP
static final org.eclipse.emf.ecore.EEnum LATTICE_BINARY_OPThe meta object literal for the 'Lattice Binary Op
' enum.- See Also:
-
MODALITY
static final org.eclipse.emf.ecore.EEnum MODALITYThe meta object literal for the 'Modality
' enum.- See Also:
-
CONCRETENESS
static final org.eclipse.emf.ecore.EEnum CONCRETENESSThe meta object literal for the 'Concreteness
' enum.- See Also:
-
RULE_KIND
static final org.eclipse.emf.ecore.EEnum RULE_KINDThe meta object literal for the 'Rule Kind
' enum.- See Also:
-
PARAMETER_BINDING
static final org.eclipse.emf.ecore.EEnum PARAMETER_BINDINGThe meta object literal for the 'Parameter Binding
' enum.- See Also:
-
PREDICATE_KIND
static final org.eclipse.emf.ecore.EEnum PREDICATE_KINDThe meta object literal for the 'Predicate Kind
' enum.- See Also:
-