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 Details

    • PROBLEM

      static final org.eclipse.emf.ecore.EClass PROBLEM
      The meta object literal for the 'Problem' class.
      See Also:
    • PROBLEM__NODES

      static final org.eclipse.emf.ecore.EReference PROBLEM__NODES
      The meta object literal for the 'Nodes' containment reference list feature.
    • PROBLEM__STATEMENTS

      static final org.eclipse.emf.ecore.EReference PROBLEM__STATEMENTS
      The meta object literal for the 'Statements' containment reference list feature.
    • PROBLEM__KIND

      static final org.eclipse.emf.ecore.EAttribute PROBLEM__KIND
      The meta object literal for the 'Kind' attribute feature.
    • PROBLEM__EXPLICIT_KIND

      static final org.eclipse.emf.ecore.EAttribute PROBLEM__EXPLICIT_KIND
      The meta object literal for the 'Explicit Kind' attribute feature.
    • CLASS_DECLARATION

      static final org.eclipse.emf.ecore.EClass CLASS_DECLARATION
      The meta object literal for the 'Class Declaration' class.
      See Also:
    • CLASS_DECLARATION__ABSTRACT

      static final org.eclipse.emf.ecore.EAttribute CLASS_DECLARATION__ABSTRACT
      The meta object literal for the 'Abstract' attribute feature.
    • CLASS_DECLARATION__FEATURE_DECLARATIONS

      static final org.eclipse.emf.ecore.EReference CLASS_DECLARATION__FEATURE_DECLARATIONS
      The 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_NODE
      The meta object literal for the 'New Node' containment reference feature.
    • CLASS_DECLARATION__SUPER_TYPES

      static final org.eclipse.emf.ecore.EReference CLASS_DECLARATION__SUPER_TYPES
      The meta object literal for the 'Super Types' reference list feature.
    • REFERENCE_DECLARATION

      static final org.eclipse.emf.ecore.EClass REFERENCE_DECLARATION
      The meta object literal for the 'Reference Declaration' class.
      See Also:
    • REFERENCE_DECLARATION__OPPOSITE

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__OPPOSITE
      The meta object literal for the 'Opposite' reference feature.
    • REFERENCE_DECLARATION__MULTIPLICITY

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__MULTIPLICITY
      The meta object literal for the 'Multiplicity' containment reference feature.
    • REFERENCE_DECLARATION__KIND

      static final org.eclipse.emf.ecore.EAttribute REFERENCE_DECLARATION__KIND
      The meta object literal for the 'Kind' attribute feature.
    • REFERENCE_DECLARATION__REFERENCE_TYPE

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__REFERENCE_TYPE
      The meta object literal for the 'Reference Type' reference feature.
    • REFERENCE_DECLARATION__INVALID_MULTIPLICITY

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__INVALID_MULTIPLICITY
      The meta object literal for the 'Invalid Multiplicity' containment reference feature.
    • REFERENCE_DECLARATION__SUPER_SETS

      static final org.eclipse.emf.ecore.EReference REFERENCE_DECLARATION__SUPER_SETS
      The meta object literal for the 'Super Sets' reference list feature.
    • NAMED_ELEMENT

      static final org.eclipse.emf.ecore.EClass NAMED_ELEMENT
      The meta object literal for the 'Named Element' class.
      See Also:
    • NAMED_ELEMENT__NAME

      static final org.eclipse.emf.ecore.EAttribute NAMED_ELEMENT__NAME
      The meta object literal for the 'Name' attribute feature.
    • PREDICATE_DEFINITION

      static final org.eclipse.emf.ecore.EClass PREDICATE_DEFINITION
      The meta object literal for the 'Predicate Definition' class.
      See Also:
    • PREDICATE_DEFINITION__BODIES

      static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__BODIES
      The meta object literal for the 'Bodies' containment reference list feature.
    • PREDICATE_DEFINITION__KIND

      static final org.eclipse.emf.ecore.EAttribute PREDICATE_DEFINITION__KIND
      The meta object literal for the 'Kind' attribute feature.
    • PREDICATE_DEFINITION__COMPUTED_VALUE

      static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__COMPUTED_VALUE
      The meta object literal for the 'Computed Value' containment reference feature.
    • PREDICATE_DEFINITION__SUPER_SETS

      static final org.eclipse.emf.ecore.EReference PREDICATE_DEFINITION__SUPER_SETS
      The meta object literal for the 'Super Sets' reference list feature.
    • PARAMETER

      static final org.eclipse.emf.ecore.EClass PARAMETER
      The meta object literal for the 'Parameter' class.
      See Also:
    • PARAMETER__PARAMETER_TYPE

      static final org.eclipse.emf.ecore.EReference PARAMETER__PARAMETER_TYPE
      The meta object literal for the 'Parameter Type' reference feature.
    • PARAMETER__BINDING

      static final org.eclipse.emf.ecore.EAttribute PARAMETER__BINDING
      The meta object literal for the 'Binding' attribute feature.
    • VARIABLE

      static final org.eclipse.emf.ecore.EClass VARIABLE
      The meta object literal for the 'Variable' class.
      See Also:
    • ATOM

      static final org.eclipse.emf.ecore.EClass ATOM
      The meta object literal for the 'Atom' class.
      See Also:
    • ATOM__TRANSITIVE_CLOSURE

      static final org.eclipse.emf.ecore.EAttribute ATOM__TRANSITIVE_CLOSURE
      The meta object literal for the 'Transitive Closure' attribute feature.
    • ATOM__ARGUMENTS

      static final org.eclipse.emf.ecore.EReference ATOM__ARGUMENTS
      The meta object literal for the 'Arguments' containment reference list feature.
    • ATOM__RELATION

      static final org.eclipse.emf.ecore.EReference ATOM__RELATION
      The meta object literal for the 'Relation' reference feature.
    • IMPLICIT_VARIABLE

      static final org.eclipse.emf.ecore.EClass IMPLICIT_VARIABLE
      The meta object literal for the 'Implicit Variable' class.
      See Also:
    • EXISTENTIAL_QUANTIFIER

      static final org.eclipse.emf.ecore.EClass EXISTENTIAL_QUANTIFIER
      The meta object literal for the 'Existential Quantifier' class.
      See Also:
    • EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES

      static final org.eclipse.emf.ecore.EReference EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES
      The meta object literal for the 'Implicit Variables' containment reference list feature.
    • ABSTRACT_ASSERTION

      static final org.eclipse.emf.ecore.EClass ABSTRACT_ASSERTION
      The meta object literal for the 'Abstract Assertion' class.
      See Also:
    • ABSTRACT_ASSERTION__ARGUMENTS

      static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__ARGUMENTS
      The meta object literal for the 'Arguments' containment reference list feature.
    • ABSTRACT_ASSERTION__RELATION

      static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__RELATION
      The meta object literal for the 'Relation' reference feature.
    • ABSTRACT_ASSERTION__VALUE

      static final org.eclipse.emf.ecore.EReference ABSTRACT_ASSERTION__VALUE
      The meta object literal for the 'Value' containment reference feature.
    • NODE

      static final org.eclipse.emf.ecore.EClass NODE
      The meta object literal for the 'Node' class.
      See Also:
    • SCOPE_DECLARATION

      static final org.eclipse.emf.ecore.EClass SCOPE_DECLARATION
      The meta object literal for the 'Scope Declaration' class.
      See Also:
    • SCOPE_DECLARATION__TYPE_SCOPES

      static final org.eclipse.emf.ecore.EReference SCOPE_DECLARATION__TYPE_SCOPES
      The meta object literal for the 'Type Scopes' containment reference list feature.
    • STATEMENT

      static final org.eclipse.emf.ecore.EClass STATEMENT
      The meta object literal for the 'Statement' class.
      See Also:
    • TYPE_SCOPE

      static final org.eclipse.emf.ecore.EClass TYPE_SCOPE
      The meta object literal for the 'Type Scope' class.
      See Also:
    • TYPE_SCOPE__INCREMENT

      static final org.eclipse.emf.ecore.EAttribute TYPE_SCOPE__INCREMENT
      The meta object literal for the 'Increment' attribute feature.
    • TYPE_SCOPE__MULTIPLICITY

      static final org.eclipse.emf.ecore.EReference TYPE_SCOPE__MULTIPLICITY
      The meta object literal for the 'Multiplicity' containment reference feature.
    • TYPE_SCOPE__TARGET_TYPE

      static final org.eclipse.emf.ecore.EReference TYPE_SCOPE__TARGET_TYPE
      The meta object literal for the 'Target Type' reference feature.
    • MULTIPLICITY

      static final org.eclipse.emf.ecore.EClass MULTIPLICITY
      The meta object literal for the 'Multiplicity' class.
      See Also:
    • RANGE_MULTIPLICITY

      static final org.eclipse.emf.ecore.EClass RANGE_MULTIPLICITY
      The meta object literal for the 'Range Multiplicity' class.
      See Also:
    • RANGE_MULTIPLICITY__LOWER_BOUND

      static final org.eclipse.emf.ecore.EAttribute RANGE_MULTIPLICITY__LOWER_BOUND
      The meta object literal for the 'Lower Bound' attribute feature.
    • RANGE_MULTIPLICITY__UPPER_BOUND

      static final org.eclipse.emf.ecore.EAttribute RANGE_MULTIPLICITY__UPPER_BOUND
      The meta object literal for the 'Upper Bound' attribute feature.
    • EXACT_MULTIPLICITY

      static final org.eclipse.emf.ecore.EClass EXACT_MULTIPLICITY
      The meta object literal for the 'Exact Multiplicity' class.
      See Also:
    • EXACT_MULTIPLICITY__EXACT_VALUE

      static final org.eclipse.emf.ecore.EAttribute EXACT_MULTIPLICITY__EXACT_VALUE
      The meta object literal for the 'Exact Value' attribute feature.
    • UNBOUNDED_MULTIPLICITY

      static final org.eclipse.emf.ecore.EClass UNBOUNDED_MULTIPLICITY
      The meta object literal for the 'Unbounded Multiplicity' class.
      See Also:
    • ENUM_DECLARATION

      static final org.eclipse.emf.ecore.EClass ENUM_DECLARATION
      The meta object literal for the 'Enum Declaration' class.
      See Also:
    • ENUM_DECLARATION__LITERALS

      static final org.eclipse.emf.ecore.EReference ENUM_DECLARATION__LITERALS
      The meta object literal for the 'Literals' containment reference list feature.
    • VARIABLE_OR_NODE

      static final org.eclipse.emf.ecore.EClass VARIABLE_OR_NODE
      The meta object literal for the 'Variable Or Node' class.
      See Also:
    • CONSTANT

      static final org.eclipse.emf.ecore.EClass CONSTANT
      The meta object literal for the 'Constant' class.
      See Also:
    • INT_CONSTANT

      static final org.eclipse.emf.ecore.EClass INT_CONSTANT
      The meta object literal for the 'Int Constant' class.
      See Also:
    • INT_CONSTANT__INT_VALUE

      static final org.eclipse.emf.ecore.EAttribute INT_CONSTANT__INT_VALUE
      The meta object literal for the 'Int Value' attribute feature.
    • REAL_CONSTANT

      static final org.eclipse.emf.ecore.EClass REAL_CONSTANT
      The meta object literal for the 'Real Constant' class.
      See Also:
    • REAL_CONSTANT__REAL_VALUE

      static final org.eclipse.emf.ecore.EAttribute REAL_CONSTANT__REAL_VALUE
      The meta object literal for the 'Real Value' attribute feature.
    • STRING_CONSTANT

      static final org.eclipse.emf.ecore.EClass STRING_CONSTANT
      The meta object literal for the 'String Constant' class.
      See Also:
    • STRING_CONSTANT__STRING_VALUE

      static final org.eclipse.emf.ecore.EAttribute STRING_CONSTANT__STRING_VALUE
      The meta object literal for the 'String Value' attribute feature.
    • NODE_ASSERTION_ARGUMENT

      static final org.eclipse.emf.ecore.EClass NODE_ASSERTION_ARGUMENT
      The 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__NODE
      The meta object literal for the 'Node' reference feature.
    • ASSERTION_ARGUMENT

      static final org.eclipse.emf.ecore.EClass ASSERTION_ARGUMENT
      The meta object literal for the 'Assertion Argument' class.
      See Also:
    • NODE_DECLARATION

      static final org.eclipse.emf.ecore.EClass NODE_DECLARATION
      The meta object literal for the 'Node Declaration' class.
      See Also:
    • NODE_DECLARATION__NODES

      static final org.eclipse.emf.ecore.EReference NODE_DECLARATION__NODES
      The meta object literal for the 'Nodes' containment reference list feature.
    • NODE_DECLARATION__KIND

      static final org.eclipse.emf.ecore.EAttribute NODE_DECLARATION__KIND
      The meta object literal for the 'Kind' attribute feature.
    • WILDCARD_ASSERTION_ARGUMENT

      static final org.eclipse.emf.ecore.EClass WILDCARD_ASSERTION_ARGUMENT
      The meta object literal for the 'Wildcard Assertion Argument' class.
      See Also:
    • PARAMETRIC_DEFINITION

      static final org.eclipse.emf.ecore.EClass PARAMETRIC_DEFINITION
      The meta object literal for the 'Parametric Definition' class.
      See Also:
    • PARAMETRIC_DEFINITION__PARAMETERS

      static final org.eclipse.emf.ecore.EReference PARAMETRIC_DEFINITION__PARAMETERS
      The meta object literal for the 'Parameters' containment reference list feature.
    • RULE_DEFINITION

      static final org.eclipse.emf.ecore.EClass RULE_DEFINITION
      The meta object literal for the 'Rule Definition' class.
      See Also:
    • RULE_DEFINITION__CONSEQUENTS

      static final org.eclipse.emf.ecore.EReference RULE_DEFINITION__CONSEQUENTS
      The meta object literal for the 'Consequents' containment reference list feature.
    • RULE_DEFINITION__PRECONDITIONS

      static final org.eclipse.emf.ecore.EReference RULE_DEFINITION__PRECONDITIONS
      The meta object literal for the 'Preconditions' containment reference list feature.
    • RULE_DEFINITION__KIND

      static final org.eclipse.emf.ecore.EAttribute RULE_DEFINITION__KIND
      The meta object literal for the 'Kind' attribute feature.
    • CONSEQUENT

      static final org.eclipse.emf.ecore.EClass CONSEQUENT
      The meta object literal for the 'Consequent' class.
      See Also:
    • CONSEQUENT__ACTIONS

      static final org.eclipse.emf.ecore.EReference CONSEQUENT__ACTIONS
      The meta object literal for the 'Actions' containment reference list feature.
    • ACTION

      static final org.eclipse.emf.ecore.EClass ACTION
      The meta object literal for the 'Action' class.
      See Also:
    • ASSERTION_ACTION

      static final org.eclipse.emf.ecore.EClass ASSERTION_ACTION
      The meta object literal for the 'Assertion Action' class.
      See Also:
    • EXPR

      static final org.eclipse.emf.ecore.EClass EXPR
      The meta object literal for the 'Expr' class.
      See Also:
    • VARIABLE_OR_NODE_EXPR

      static final org.eclipse.emf.ecore.EClass VARIABLE_OR_NODE_EXPR
      The 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_NODE
      The 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_VARIABLE
      The meta object literal for the 'Singleton Variable' containment reference feature.
    • BINARY_EXPR

      static final org.eclipse.emf.ecore.EClass BINARY_EXPR
      The meta object literal for the 'Binary Expr' class.
      See Also:
    • BINARY_EXPR__LEFT

      static final org.eclipse.emf.ecore.EReference BINARY_EXPR__LEFT
      The meta object literal for the 'Left' containment reference feature.
    • BINARY_EXPR__RIGHT

      static final org.eclipse.emf.ecore.EReference BINARY_EXPR__RIGHT
      The meta object literal for the 'Right' containment reference feature.
    • UNARY_EXPR

      static final org.eclipse.emf.ecore.EClass UNARY_EXPR
      The meta object literal for the 'Unary Expr' class.
      See Also:
    • UNARY_EXPR__BODY

      static final org.eclipse.emf.ecore.EReference UNARY_EXPR__BODY
      The meta object literal for the 'Body' containment reference feature.
    • ARITHMETIC_UNARY_EXPR

      static final org.eclipse.emf.ecore.EClass ARITHMETIC_UNARY_EXPR
      The 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__OP
      The meta object literal for the 'Op' attribute feature.
    • AGGREGATION_EXPR

      static final org.eclipse.emf.ecore.EClass AGGREGATION_EXPR
      The meta object literal for the 'Aggregation Expr' class.
      See Also:
    • AGGREGATION_EXPR__VALUE

      static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__VALUE
      The meta object literal for the 'Value' containment reference feature.
    • AGGREGATION_EXPR__CONDITION

      static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__CONDITION
      The meta object literal for the 'Condition' containment reference feature.
    • AGGREGATION_EXPR__AGGREGATOR

      static final org.eclipse.emf.ecore.EReference AGGREGATION_EXPR__AGGREGATOR
      The meta object literal for the 'Aggregator' reference feature.
    • COMPARISON_EXPR

      static final org.eclipse.emf.ecore.EClass COMPARISON_EXPR
      The meta object literal for the 'Comparison Expr' class.
      See Also:
    • COMPARISON_EXPR__OP

      static final org.eclipse.emf.ecore.EAttribute COMPARISON_EXPR__OP
      The meta object literal for the 'Op' attribute feature.
    • QUANTIFIED_UNARY_EXPR

      static final org.eclipse.emf.ecore.EClass QUANTIFIED_UNARY_EXPR
      The meta object literal for the 'Quantified Unary Expr' class.
      See Also:
    • FUNCTION_DEFINITION

      static final org.eclipse.emf.ecore.EClass FUNCTION_DEFINITION
      The meta object literal for the 'Function Definition' class.
      See Also:
    • FUNCTION_DEFINITION__CASES

      static final org.eclipse.emf.ecore.EReference FUNCTION_DEFINITION__CASES
      The meta object literal for the 'Cases' containment reference list feature.
    • FUNCTION_DEFINITION__FUNCTION_TYPE

      static final org.eclipse.emf.ecore.EReference FUNCTION_DEFINITION__FUNCTION_TYPE
      The meta object literal for the 'Function Type' reference feature.
    • CASE

      static final org.eclipse.emf.ecore.EClass CASE
      The meta object literal for the 'Case' class.
      See Also:
    • CONJUNCTION

      static final org.eclipse.emf.ecore.EClass CONJUNCTION
      The meta object literal for the 'Conjunction' class.
      See Also:
    • CONJUNCTION__LITERALS

      static final org.eclipse.emf.ecore.EReference CONJUNCTION__LITERALS
      The meta object literal for the 'Literals' containment reference list feature.
    • MATCH

      static final org.eclipse.emf.ecore.EClass MATCH
      The meta object literal for the 'Match' class.
      See Also:
    • MATCH__CONDITION

      static final org.eclipse.emf.ecore.EReference MATCH__CONDITION
      The meta object literal for the 'Condition' containment reference feature.
    • MATCH__VALUE

      static final org.eclipse.emf.ecore.EReference MATCH__VALUE
      The meta object literal for the 'Value' containment reference feature.
    • ARITHMETIC_BINARY_EXPR

      static final org.eclipse.emf.ecore.EClass ARITHMETIC_BINARY_EXPR
      The 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__OP
      The meta object literal for the 'Op' attribute feature.
    • NEGATION_EXPR

      static final org.eclipse.emf.ecore.EClass NEGATION_EXPR
      The meta object literal for the 'Negation Expr' class.
      See Also:
    • COUNT_EXPR

      static final org.eclipse.emf.ecore.EClass COUNT_EXPR
      The meta object literal for the 'Count Expr' class.
      See Also:
    • RELATION

      static final org.eclipse.emf.ecore.EClass RELATION
      The meta object literal for the 'Relation' class.
      See Also:
    • RANGE_EXPR

      static final org.eclipse.emf.ecore.EClass RANGE_EXPR
      The meta object literal for the 'Range Expr' class.
      See Also:
    • LOGIC_CONSTANT

      static final org.eclipse.emf.ecore.EClass LOGIC_CONSTANT
      The meta object literal for the 'Logic Constant' class.
      See Also:
    • LOGIC_CONSTANT__LOGIC_VALUE

      static final org.eclipse.emf.ecore.EAttribute LOGIC_CONSTANT__LOGIC_VALUE
      The meta object literal for the 'Logic Value' attribute feature.
    • IMPORT_STATEMENT

      static final org.eclipse.emf.ecore.EClass IMPORT_STATEMENT
      The meta object literal for the 'Import Statement' class.
      See Also:
    • IMPORT_STATEMENT__IMPORTED_MODULE

      static final org.eclipse.emf.ecore.EReference IMPORT_STATEMENT__IMPORTED_MODULE
      The meta object literal for the 'Imported Module' reference feature.
    • IMPORT_STATEMENT__ALIAS

      static final org.eclipse.emf.ecore.EAttribute IMPORT_STATEMENT__ALIAS
      The meta object literal for the 'Alias' attribute feature.
    • DATATYPE_DECLARATION

      static final org.eclipse.emf.ecore.EClass DATATYPE_DECLARATION
      The meta object literal for the 'Datatype Declaration' class.
      See Also:
    • LATTICE_BINARY_EXPR

      static final org.eclipse.emf.ecore.EClass LATTICE_BINARY_EXPR
      The 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__OP
      The meta object literal for the 'Op' attribute feature.
    • CAST_EXPR

      static final org.eclipse.emf.ecore.EClass CAST_EXPR
      The meta object literal for the 'Cast Expr' class.
      See Also:
    • CAST_EXPR__BODY

      static final org.eclipse.emf.ecore.EReference CAST_EXPR__BODY
      The meta object literal for the 'Body' containment reference feature.
    • CAST_EXPR__TARGET_TYPE

      static final org.eclipse.emf.ecore.EReference CAST_EXPR__TARGET_TYPE
      The meta object literal for the 'Target Type' reference feature.
    • ASSIGNMENT_EXPR

      static final org.eclipse.emf.ecore.EClass ASSIGNMENT_EXPR
      The meta object literal for the 'Assignment Expr' class.
      See Also:
    • INFINITE_CONSTANT

      static final org.eclipse.emf.ecore.EClass INFINITE_CONSTANT
      The meta object literal for the 'Infinite Constant' class.
      See Also:
    • AGGREGATOR_DECLARATION

      static final org.eclipse.emf.ecore.EClass AGGREGATOR_DECLARATION
      The meta object literal for the 'Aggregator Declaration' class.
      See Also:
    • ASSERTION

      static final org.eclipse.emf.ecore.EClass ASSERTION
      The meta object literal for the 'Assertion' class.
      See Also:
    • ASSERTION__DEFAULT

      static final org.eclipse.emf.ecore.EAttribute ASSERTION__DEFAULT
      The meta object literal for the 'Default' attribute feature.
    • LOGIC_VALUE

      static final org.eclipse.emf.ecore.EEnum LOGIC_VALUE
      The meta object literal for the 'Logic Value' enum.
      See Also:
    • COMPARISON_OP

      static final org.eclipse.emf.ecore.EEnum COMPARISON_OP
      The meta object literal for the 'Comparison Op' enum.
      See Also:
    • REFERENCE_KIND

      static final org.eclipse.emf.ecore.EEnum REFERENCE_KIND
      The meta object literal for the 'Reference Kind' enum.
      See Also:
    • UNARY_OP

      static final org.eclipse.emf.ecore.EEnum UNARY_OP
      The meta object literal for the 'Unary Op' enum.
      See Also:
    • BINARY_OP

      static final org.eclipse.emf.ecore.EEnum BINARY_OP
      The meta object literal for the 'Binary Op' enum.
      See Also:
    • MODULE_KIND

      static final org.eclipse.emf.ecore.EEnum MODULE_KIND
      The meta object literal for the 'Module Kind' enum.
      See Also:
    • NODE_KIND

      static final org.eclipse.emf.ecore.EEnum NODE_KIND
      The meta object literal for the 'Node Kind' enum.
      See Also:
    • LATTICE_BINARY_OP

      static final org.eclipse.emf.ecore.EEnum LATTICE_BINARY_OP
      The meta object literal for the 'Lattice Binary Op' enum.
      See Also:
    • MODALITY

      static final org.eclipse.emf.ecore.EEnum MODALITY
      The meta object literal for the 'Modality' enum.
      See Also:
    • CONCRETENESS

      static final org.eclipse.emf.ecore.EEnum CONCRETENESS
      The meta object literal for the 'Concreteness' enum.
      See Also:
    • RULE_KIND

      static final org.eclipse.emf.ecore.EEnum RULE_KIND
      The meta object literal for the 'Rule Kind' enum.
      See Also:
    • PARAMETER_BINDING

      static final org.eclipse.emf.ecore.EEnum PARAMETER_BINDING
      The meta object literal for the 'Parameter Binding' enum.
      See Also:
    • PREDICATE_KIND

      static final org.eclipse.emf.ecore.EEnum PREDICATE_KIND
      The meta object literal for the 'Predicate Kind' enum.
      See Also: