Interface ProblemPackage
- All Superinterfaces:
org.eclipse.emf.ecore.EModelElement
,org.eclipse.emf.ecore.ENamedElement
,org.eclipse.emf.ecore.EObject
,org.eclipse.emf.ecore.EPackage
,org.eclipse.emf.common.notify.Notifier
- All Known Implementing Classes:
ProblemPackageImpl
public interface ProblemPackage
extends org.eclipse.emf.ecore.EPackage
The Package for the model.
It contains accessors for the meta objects to represent
- each class,
- each feature of each class,
- each operation of each class,
- each enum,
- and each data type
- See Also:
-
Nested Class Summary
Modifier and TypeInterfaceDescriptionstatic interface
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 typeNested classes/interfaces inherited from interface org.eclipse.emf.ecore.EPackage
org.eclipse.emf.ecore.EPackage.Descriptor, org.eclipse.emf.ecore.EPackage.Registry
-
Field Summary
Modifier and TypeFieldDescriptionstatic final int
The meta object id for the 'Abstract Assertion
' class.static final int
The feature id for the 'Arguments' containment reference list.static final int
The feature id for the 'Relation' reference.static final int
The feature id for the 'Value' containment reference.static final int
The number of structural features of the 'Abstract Assertion' class.static final int
The number of operations of the 'Abstract Assertion' class.static final int
The meta object id for the 'Action
' class.static final int
The number of structural features of the 'Action' class.static final int
The number of operations of the 'Action' class.static final int
The meta object id for the 'Aggregation Expr
' class.static final int
The feature id for the 'Aggregator' reference.static final int
The feature id for the 'Condition' containment reference.static final int
The feature id for the 'Implicit Variables' containment reference list.static final int
The feature id for the 'Value' containment reference.static final int
The number of structural features of the 'Aggregation Expr' class.static final int
The number of operations of the 'Aggregation Expr' class.static final int
The meta object id for the 'Aggregator Declaration
' class.static final int
The feature id for the 'Name' attribute.static final int
The number of structural features of the 'Aggregator Declaration' class.static final int
The number of operations of the 'Aggregator Declaration' class.static final int
The meta object id for the 'Arithmetic Binary Expr
' class.static final int
The feature id for the 'Left' containment reference.static final int
The feature id for the 'Op' attribute.static final int
The feature id for the 'Right' containment reference.static final int
The number of structural features of the 'Arithmetic Binary Expr' class.static final int
The number of operations of the 'Arithmetic Binary Expr' class.static final int
The meta object id for the 'Arithmetic Unary Expr
' class.static final int
The feature id for the 'Body' containment reference.static final int
The feature id for the 'Op' attribute.static final int
The number of structural features of the 'Arithmetic Unary Expr' class.static final int
The number of operations of the 'Arithmetic Unary Expr' class.static final int
The meta object id for the 'Assertion
' class.static final int
The feature id for the 'Arguments' containment reference list.static final int
The feature id for the 'Default' attribute.static final int
The feature id for the 'Relation' reference.static final int
The feature id for the 'Value' containment reference.static final int
The meta object id for the 'Assertion Action
' class.static final int
The feature id for the 'Arguments' containment reference list.static final int
The feature id for the 'Relation' reference.static final int
The feature id for the 'Value' containment reference.static final int
The number of structural features of the 'Assertion Action' class.static final int
The number of operations of the 'Assertion Action' class.static final int
The meta object id for the 'Assertion Argument
' class.static final int
The number of structural features of the 'Assertion Argument' class.static final int
The number of operations of the 'Assertion Argument' class.static final int
The number of structural features of the 'Assertion' class.static final int
The number of operations of the 'Assertion' class.static final int
The meta object id for the 'Assignment Expr
' class.static final int
The feature id for the 'Left' containment reference.static final int
The feature id for the 'Right' containment reference.static final int
The number of structural features of the 'Assignment Expr' class.static final int
The number of operations of the 'Assignment Expr' class.static final int
The meta object id for the 'Atom
' class.static final int
The feature id for the 'Arguments' containment reference list.static final int
The feature id for the 'Relation' reference.static final int
The feature id for the 'Transitive Closure' attribute.static final int
The number of structural features of the 'Atom' class.static final int
The number of operations of the 'Atom' class.static final int
The meta object id for the 'Binary Expr
' class.static final int
The feature id for the 'Left' containment reference.static final int
The feature id for the 'Right' containment reference.static final int
The number of structural features of the 'Binary Expr' class.static final int
The number of operations of the 'Binary Expr' class.static final int
The meta object id for the 'Binary Op
' enum.static final int
The meta object id for the 'Case
' class.static final int
The number of structural features of the 'Case' class.static final int
The number of operations of the 'Case' class.static final int
The meta object id for the 'Cast Expr
' class.static final int
The feature id for the 'Body' containment reference.static final int
The feature id for the 'Target Type' reference.static final int
The number of structural features of the 'Cast Expr' class.static final int
The number of operations of the 'Cast Expr' class.static final int
The meta object id for the 'Class Declaration
' class.static final int
The feature id for the 'Abstract' attribute.static final int
The feature id for the 'Feature Declarations' containment reference list.static final int
The feature id for the 'Name' attribute.static final int
The feature id for the 'New Node' containment reference.static final int
The feature id for the 'Super Types' reference list.static final int
The number of structural features of the 'Class Declaration' class.static final int
The number of operations of the 'Class Declaration' class.static final int
The meta object id for the 'Comparison Expr
' class.static final int
The feature id for the 'Left' containment reference.static final int
The feature id for the 'Op' attribute.static final int
The feature id for the 'Right' containment reference.static final int
The number of structural features of the 'Comparison Expr' class.static final int
The number of operations of the 'Comparison Expr' class.static final int
The meta object id for the 'Comparison Op
' enum.static final int
The meta object id for the 'Concreteness
' enum.static final int
The meta object id for the 'Conjunction
' class.static final int
The feature id for the 'Implicit Variables' containment reference list.static final int
The feature id for the 'Literals' containment reference list.static final int
The number of structural features of the 'Conjunction' class.static final int
The number of operations of the 'Conjunction' class.static final int
The meta object id for the 'Consequent
' class.static final int
The feature id for the 'Actions' containment reference list.static final int
The number of structural features of the 'Consequent' class.static final int
The number of operations of the 'Consequent' class.static final int
The meta object id for the 'Constant
' class.static final int
The number of structural features of the 'Constant' class.static final int
The number of operations of the 'Constant' class.static final int
The meta object id for the 'Count Expr
' class.static final int
The feature id for the 'Body' containment reference.static final int
The feature id for the 'Implicit Variables' containment reference list.static final int
The number of structural features of the 'Count Expr' class.static final int
The number of operations of the 'Count Expr' class.static final int
The meta object id for the 'Datatype Declaration
' class.static final int
The feature id for the 'Name' attribute.static final int
The number of structural features of the 'Datatype Declaration' class.static final int
The number of operations of the 'Datatype Declaration' class.static final ProblemPackage
The singleton instance of the package.static final String
The package name.static final String
The package namespace name.static final String
The package namespace URI.static final int
The meta object id for the 'Enum Declaration
' class.static final int
The feature id for the 'Literals' containment reference list.static final int
The feature id for the 'Name' attribute.static final int
The number of structural features of the 'Enum Declaration' class.static final int
The number of operations of the 'Enum Declaration' class.static final int
The meta object id for the 'Exact Multiplicity
' class.static final int
The feature id for the 'Exact Value' attribute.static final int
The number of structural features of the 'Exact Multiplicity' class.static final int
The number of operations of the 'Exact Multiplicity' class.static final int
The meta object id for the 'Existential Quantifier
' class.static final int
The feature id for the 'Implicit Variables' containment reference list.static final int
The number of structural features of the 'Existential Quantifier' class.static final int
The number of operations of the 'Existential Quantifier' class.static final int
The meta object id for the 'Expr
' class.static final int
The number of structural features of the 'Expr' class.static final int
The number of operations of the 'Expr' class.static final int
The meta object id for the 'Function Definition
' class.static final int
The feature id for the 'Cases' containment reference list.static final int
The feature id for the 'Function Type' reference.static final int
The feature id for the 'Name' attribute.static final int
The feature id for the 'Parameters' containment reference list.static final int
The number of structural features of the 'Function Definition' class.static final int
The number of operations of the 'Function Definition' class.static final int
The meta object id for the 'Implicit Variable
' class.static final int
The feature id for the 'Name' attribute.static final int
The number of structural features of the 'Implicit Variable' class.static final int
The number of operations of the 'Implicit Variable' class.static final int
The meta object id for the 'Import Statement
' class.static final int
The feature id for the 'Alias' attribute.static final int
The feature id for the 'Imported Module' reference.static final int
The number of structural features of the 'Import Statement' class.static final int
The number of operations of the 'Import Statement' class.static final int
The meta object id for the 'Infinite Constant
' class.static final int
The number of structural features of the 'Infinite Constant' class.static final int
The number of operations of the 'Infinite Constant' class.static final int
The meta object id for the 'Int Constant
' class.static final int
The feature id for the 'Int Value' attribute.static final int
The number of structural features of the 'Int Constant' class.static final int
The number of operations of the 'Int Constant' class.static final int
The meta object id for the 'Lattice Binary Expr
' class.static final int
The feature id for the 'Left' containment reference.static final int
The feature id for the 'Op' attribute.static final int
The feature id for the 'Right' containment reference.static final int
The number of structural features of the 'Lattice Binary Expr' class.static final int
The number of operations of the 'Lattice Binary Expr' class.static final int
The meta object id for the 'Lattice Binary Op
' enum.static final int
The meta object id for the 'Logic Constant
' class.static final int
The feature id for the 'Logic Value' attribute.static final int
The number of structural features of the 'Logic Constant' class.static final int
The number of operations of the 'Logic Constant' class.static final int
The meta object id for the 'Logic Value
' enum.static final int
The meta object id for the 'Match
' class.static final int
The feature id for the 'Condition' containment reference.static final int
The feature id for the 'Value' containment reference.static final int
The number of structural features of the 'Match' class.static final int
The number of operations of the 'Match' class.static final int
The meta object id for the 'Modal Expr
' class.static final int
The feature id for the 'Body' containment reference.static final int
The feature id for the 'Concreteness' attribute.static final int
The feature id for the 'Modality' attribute.static final int
The number of structural features of the 'Modal Expr' class.static final int
The number of operations of the 'Modal Expr' class.static final int
The meta object id for the 'Modality
' enum.static final int
The meta object id for the 'Module Kind
' enum.static final int
The meta object id for the 'Multiplicity
' class.static final int
The number of structural features of the 'Multiplicity' class.static final int
The number of operations of the 'Multiplicity' class.static final int
The meta object id for the 'Named Element
' class.static final int
The feature id for the 'Name' attribute.static final int
The number of structural features of the 'Named Element' class.static final int
The number of operations of the 'Named Element' class.static final int
The meta object id for the 'Negation Expr
' class.static final int
The feature id for the 'Body' containment reference.static final int
The feature id for the 'Implicit Variables' containment reference list.static final int
The number of structural features of the 'Negation Expr' class.static final int
The number of operations of the 'Negation Expr' class.static final int
The meta object id for the 'Node
' class.static final int
The feature id for the 'Name' attribute.static final int
The meta object id for the 'Node Assertion Argument
' class.static final int
The feature id for the 'Node' reference.static final int
The number of structural features of the 'Node Assertion Argument' class.static final int
The number of operations of the 'Node Assertion Argument' class.static final int
The meta object id for the 'Node Declaration
' class.static final int
The feature id for the 'Kind' attribute.static final int
The feature id for the 'Nodes' containment reference list.static final int
The number of structural features of the 'Node Declaration' class.static final int
The number of operations of the 'Node Declaration' class.static final int
The number of structural features of the 'Node' class.static final int
The meta object id for the 'Node Kind
' enum.static final int
The number of operations of the 'Node' class.static final int
The meta object id for the 'Parameter
' class.static final int
The feature id for the 'Binding' attribute.static final int
The feature id for the 'Name' attribute.static final int
The feature id for the 'Parameter Type' reference.static final int
The meta object id for the 'Parameter Binding
' enum.static final int
The number of structural features of the 'Parameter' class.static final int
The number of operations of the 'Parameter' class.static final int
The meta object id for the 'Parametric Definition
' class.static final int
The feature id for the 'Parameters' containment reference list.static final int
The number of structural features of the 'Parametric Definition' class.static final int
The number of operations of the 'Parametric Definition' class.static final int
The meta object id for the 'Predicate Definition
' class.static final int
The feature id for the 'Bodies' containment reference list.static final int
The feature id for the 'Computed Value' containment reference.static final int
The feature id for the 'Kind' attribute.static final int
The feature id for the 'Name' attribute.static final int
The feature id for the 'Parameters' containment reference list.static final int
The feature id for the 'Super Sets' reference list.static final int
The number of structural features of the 'Predicate Definition' class.static final int
The number of operations of the 'Predicate Definition' class.static final int
The meta object id for the 'Predicate Kind
' enum.static final int
The meta object id for the 'Problem
' class.static final int
The feature id for the 'Explicit Kind' attribute.static final int
The feature id for the 'Kind' attribute.static final int
The feature id for the 'Name' attribute.static final int
The feature id for the 'Nodes' containment reference list.static final int
The feature id for the 'Statements' containment reference list.static final int
The number of structural features of the 'Problem' class.static final int
The number of operations of the 'Problem' class.static final int
The meta object id for the 'Quantified Unary Expr
' class.static final int
The feature id for the 'Body' containment reference.static final int
The feature id for the 'Implicit Variables' containment reference list.static final int
The number of structural features of the 'Quantified Unary Expr' class.static final int
The number of operations of the 'Quantified Unary Expr' class.static final int
The meta object id for the 'Range Expr
' class.static final int
The feature id for the 'Left' containment reference.static final int
The feature id for the 'Right' containment reference.static final int
The number of structural features of the 'Range Expr' class.static final int
The number of operations of the 'Range Expr' class.static final int
The meta object id for the 'Range Multiplicity
' class.static final int
The feature id for the 'Lower Bound' attribute.static final int
The feature id for the 'Upper Bound' attribute.static final int
The number of structural features of the 'Range Multiplicity' class.static final int
The number of operations of the 'Range Multiplicity' class.static final int
The meta object id for the 'Real Constant
' class.static final int
The feature id for the 'Real Value' attribute.static final int
The number of structural features of the 'Real Constant' class.static final int
The number of operations of the 'Real Constant' class.static final int
The meta object id for the 'Reference Declaration
' class.static final int
The feature id for the 'Invalid Multiplicity' containment reference.static final int
The feature id for the 'Kind' attribute.static final int
The feature id for the 'Multiplicity' containment reference.static final int
The feature id for the 'Name' attribute.static final int
The feature id for the 'Opposite' reference.static final int
The feature id for the 'Reference Type' reference.static final int
The feature id for the 'Super Sets' reference list.static final int
The number of structural features of the 'Reference Declaration' class.static final int
The number of operations of the 'Reference Declaration' class.static final int
The meta object id for the 'Reference Kind
' enum.static final int
The meta object id for the 'Relation
' class.static final int
The feature id for the 'Name' attribute.static final int
The number of structural features of the 'Relation' class.static final int
The number of operations of the 'Relation' class.static final int
The meta object id for the 'Rule Definition
' class.static final int
The feature id for the 'Consequents' containment reference list.static final int
The feature id for the 'Kind' attribute.static final int
The feature id for the 'Name' attribute.static final int
The feature id for the 'Parameters' containment reference list.static final int
The feature id for the 'Preconditions' containment reference list.static final int
The number of structural features of the 'Rule Definition' class.static final int
The number of operations of the 'Rule Definition' class.static final int
The meta object id for the 'Rule Kind
' enum.static final int
The meta object id for the 'Scope Declaration
' class.static final int
The feature id for the 'Type Scopes' containment reference list.static final int
The number of structural features of the 'Scope Declaration' class.static final int
The number of operations of the 'Scope Declaration' class.static final int
The meta object id for the 'Statement
' class.static final int
The number of structural features of the 'Statement' class.static final int
The number of operations of the 'Statement' class.static final int
The meta object id for the 'String Constant
' class.static final int
The feature id for the 'String Value' attribute.static final int
The number of structural features of the 'String Constant' class.static final int
The number of operations of the 'String Constant' class.static final int
The meta object id for the 'Type Scope
' class.static final int
The feature id for the 'Increment' attribute.static final int
The feature id for the 'Multiplicity' containment reference.static final int
The feature id for the 'Target Type' reference.static final int
The number of structural features of the 'Type Scope' class.static final int
The number of operations of the 'Type Scope' class.static final int
The meta object id for the 'Unary Expr
' class.static final int
The feature id for the 'Body' containment reference.static final int
The number of structural features of the 'Unary Expr' class.static final int
The number of operations of the 'Unary Expr' class.static final int
The meta object id for the 'Unary Op
' enum.static final int
The meta object id for the 'Unbounded Multiplicity
' class.static final int
The number of structural features of the 'Unbounded Multiplicity' class.static final int
The number of operations of the 'Unbounded Multiplicity' class.static final int
The meta object id for the 'Variable
' class.static final int
The feature id for the 'Name' attribute.static final int
The number of structural features of the 'Variable' class.static final int
The number of operations of the 'Variable' class.static final int
The meta object id for the 'Variable Or Node
' class.static final int
The feature id for the 'Name' attribute.static final int
The meta object id for the 'Variable Or Node Expr
' class.static final int
The feature id for the 'Singleton Variable' containment reference.static final int
The feature id for the 'Variable Or Node' reference.static final int
The number of structural features of the 'Variable Or Node Expr' class.static final int
The number of operations of the 'Variable Or Node Expr' class.static final int
The number of structural features of the 'Variable Or Node' class.static final int
The number of operations of the 'Variable Or Node' class.static final int
The meta object id for the 'Wildcard Assertion Argument
' class.static final int
The number of structural features of the 'Wildcard Assertion Argument' class.static final int
The number of operations of the 'Wildcard Assertion Argument' class. -
Method Summary
Modifier and TypeMethodDescriptionorg.eclipse.emf.ecore.EClass
Returns the meta object for class 'Abstract Assertion
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Arguments
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Relation
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Value
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Action
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Aggregation Expr
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Aggregator
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Condition
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Value
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Aggregator Declaration
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Arithmetic Binary Expr
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Op
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Arithmetic Unary Expr
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Op
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Assertion
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Default
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Assertion Action
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Assertion Argument
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Assignment Expr
'.org.eclipse.emf.ecore.EClass
getAtom()
Returns the meta object for class 'Atom
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Arguments
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Relation
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Transitive Closure
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Binary Expr
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Left
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Right
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Binary Op
'.org.eclipse.emf.ecore.EClass
getCase()
Returns the meta object for class 'Case
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Cast Expr
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Body
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Target Type
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Class Declaration
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Abstract
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Feature Declarations
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'New Node
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference list 'Super Types
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Comparison Expr
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Op
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Comparison Op
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Concreteness
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Conjunction
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Literals
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Consequent
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Actions
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Constant
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Count Expr
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Datatype Declaration
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Enum Declaration
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Literals
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Exact Multiplicity
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Exact Value
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Existential Quantifier
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Implicit Variables
'.org.eclipse.emf.ecore.EClass
getExpr()
Returns the meta object for class 'Expr
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Function Definition
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Cases
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Function Type
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Implicit Variable
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Import Statement
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Alias
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Imported Module
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Infinite Constant
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Int Constant
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Int Value
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Lattice Binary Expr
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Op
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Lattice Binary Op
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Logic Constant
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Logic Value
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Logic Value
'.org.eclipse.emf.ecore.EClass
getMatch()
Returns the meta object for class 'Match
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Condition
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Value
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Modal Expr
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Concreteness
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Modality
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Modality
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Module Kind
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Multiplicity
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Named Element
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Name
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Negation Expr
'.org.eclipse.emf.ecore.EClass
getNode()
Returns the meta object for class 'Node
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Node Assertion Argument
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Node
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Node Declaration
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Kind
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Nodes
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Node Kind
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Parameter
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Binding
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Parameter Type
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Parameter Binding
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Parametric Definition
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Parameters
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Predicate Definition
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Bodies
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Computed Value
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Kind
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference list 'Super Sets
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Predicate Kind
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Problem
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Explicit Kind
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Kind
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Nodes
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Statements
'.Returns the factory that creates the instances of the model.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Quantified Unary Expr
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Range Expr
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Range Multiplicity
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Lower Bound
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Upper Bound
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Real Constant
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Real Value
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Reference Declaration
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Invalid Multiplicity
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Kind
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Multiplicity
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Opposite
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Reference Type
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference list 'Super Sets
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Reference Kind
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Relation
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Rule Definition
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Consequents
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Kind
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Preconditions
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Rule Kind
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Scope Declaration
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference list 'Type Scopes
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Statement
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'String Constant
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'String Value
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Type Scope
'.org.eclipse.emf.ecore.EAttribute
Returns the meta object for the attribute 'Increment
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Multiplicity
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Target Type
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Unary Expr
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Body
'.org.eclipse.emf.ecore.EEnum
Returns the meta object for enum 'Unary Op
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Unbounded Multiplicity
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Variable
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Variable Or Node
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Variable Or Node Expr
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the containment reference 'Singleton Variable
'.org.eclipse.emf.ecore.EReference
Returns the meta object for the reference 'Variable Or Node
'.org.eclipse.emf.ecore.EClass
Returns the meta object for class 'Wildcard Assertion Argument
'.Methods inherited from interface org.eclipse.emf.ecore.EModelElement
getEAnnotation, getEAnnotations
Methods inherited from interface org.eclipse.emf.ecore.ENamedElement
getName, setName
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
Methods inherited from interface org.eclipse.emf.ecore.EPackage
getEClassifier, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getNsPrefix, getNsURI, setEFactoryInstance, setNsPrefix, setNsURI
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
-
Field Details
-
eNAME
The package name.- See Also:
-
eNS_URI
The package namespace URI.- See Also:
-
eNS_PREFIX
The package namespace name.- See Also:
-
eINSTANCE
The singleton instance of the package. -
NAMED_ELEMENT
static final int NAMED_ELEMENTThe meta object id for the 'Named Element
' class.- See Also:
-
NAMED_ELEMENT__NAME
static final int NAMED_ELEMENT__NAMEThe feature id for the 'Name' attribute.- See Also:
-
NAMED_ELEMENT_FEATURE_COUNT
static final int NAMED_ELEMENT_FEATURE_COUNTThe number of structural features of the 'Named Element' class.- See Also:
-
NAMED_ELEMENT_OPERATION_COUNT
static final int NAMED_ELEMENT_OPERATION_COUNTThe number of operations of the 'Named Element' class.- See Also:
-
PROBLEM
static final int PROBLEMThe meta object id for the 'Problem
' class.- See Also:
-
PROBLEM__NAME
static final int PROBLEM__NAMEThe feature id for the 'Name' attribute.- See Also:
-
PROBLEM__NODES
static final int PROBLEM__NODESThe feature id for the 'Nodes' containment reference list.- See Also:
-
PROBLEM__STATEMENTS
static final int PROBLEM__STATEMENTSThe feature id for the 'Statements' containment reference list.- See Also:
-
PROBLEM__KIND
static final int PROBLEM__KINDThe feature id for the 'Kind' attribute.- See Also:
-
PROBLEM__EXPLICIT_KIND
static final int PROBLEM__EXPLICIT_KINDThe feature id for the 'Explicit Kind' attribute.- See Also:
-
PROBLEM_FEATURE_COUNT
static final int PROBLEM_FEATURE_COUNTThe number of structural features of the 'Problem' class.- See Also:
-
PROBLEM_OPERATION_COUNT
static final int PROBLEM_OPERATION_COUNTThe number of operations of the 'Problem' class.- See Also:
-
STATEMENT
static final int STATEMENTThe meta object id for the 'Statement
' class.- See Also:
-
STATEMENT_FEATURE_COUNT
static final int STATEMENT_FEATURE_COUNTThe number of structural features of the 'Statement' class.- See Also:
-
STATEMENT_OPERATION_COUNT
static final int STATEMENT_OPERATION_COUNTThe number of operations of the 'Statement' class.- See Also:
-
CLASS_DECLARATION
static final int CLASS_DECLARATIONThe meta object id for the 'Class Declaration
' class.- See Also:
-
CLASS_DECLARATION__NAME
static final int CLASS_DECLARATION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
CLASS_DECLARATION__ABSTRACT
static final int CLASS_DECLARATION__ABSTRACTThe feature id for the 'Abstract' attribute.- See Also:
-
CLASS_DECLARATION__FEATURE_DECLARATIONS
static final int CLASS_DECLARATION__FEATURE_DECLARATIONSThe feature id for the 'Feature Declarations' containment reference list.- See Also:
-
CLASS_DECLARATION__NEW_NODE
static final int CLASS_DECLARATION__NEW_NODEThe feature id for the 'New Node' containment reference.- See Also:
-
CLASS_DECLARATION__SUPER_TYPES
static final int CLASS_DECLARATION__SUPER_TYPESThe feature id for the 'Super Types' reference list.- See Also:
-
CLASS_DECLARATION_FEATURE_COUNT
static final int CLASS_DECLARATION_FEATURE_COUNTThe number of structural features of the 'Class Declaration' class.- See Also:
-
CLASS_DECLARATION_OPERATION_COUNT
static final int CLASS_DECLARATION_OPERATION_COUNTThe number of operations of the 'Class Declaration' class.- See Also:
-
RELATION
static final int RELATIONThe meta object id for the 'Relation
' class.- See Also:
-
RELATION__NAME
static final int RELATION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
RELATION_FEATURE_COUNT
static final int RELATION_FEATURE_COUNTThe number of structural features of the 'Relation' class.- See Also:
-
RELATION_OPERATION_COUNT
static final int RELATION_OPERATION_COUNTThe number of operations of the 'Relation' class.- See Also:
-
REFERENCE_DECLARATION
static final int REFERENCE_DECLARATIONThe meta object id for the 'Reference Declaration
' class.- See Also:
-
REFERENCE_DECLARATION__NAME
static final int REFERENCE_DECLARATION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
REFERENCE_DECLARATION__OPPOSITE
static final int REFERENCE_DECLARATION__OPPOSITEThe feature id for the 'Opposite' reference.- See Also:
-
REFERENCE_DECLARATION__MULTIPLICITY
static final int REFERENCE_DECLARATION__MULTIPLICITYThe feature id for the 'Multiplicity' containment reference.- See Also:
-
REFERENCE_DECLARATION__KIND
static final int REFERENCE_DECLARATION__KINDThe feature id for the 'Kind' attribute.- See Also:
-
REFERENCE_DECLARATION__REFERENCE_TYPE
static final int REFERENCE_DECLARATION__REFERENCE_TYPEThe feature id for the 'Reference Type' reference.- See Also:
-
REFERENCE_DECLARATION__INVALID_MULTIPLICITY
static final int REFERENCE_DECLARATION__INVALID_MULTIPLICITYThe feature id for the 'Invalid Multiplicity' containment reference.- See Also:
-
REFERENCE_DECLARATION__SUPER_SETS
static final int REFERENCE_DECLARATION__SUPER_SETSThe feature id for the 'Super Sets' reference list.- See Also:
-
REFERENCE_DECLARATION_FEATURE_COUNT
static final int REFERENCE_DECLARATION_FEATURE_COUNTThe number of structural features of the 'Reference Declaration' class.- See Also:
-
REFERENCE_DECLARATION_OPERATION_COUNT
static final int REFERENCE_DECLARATION_OPERATION_COUNTThe number of operations of the 'Reference Declaration' class.- See Also:
-
PARAMETRIC_DEFINITION
static final int PARAMETRIC_DEFINITIONThe meta object id for the 'Parametric Definition
' class.- See Also:
-
PARAMETRIC_DEFINITION__PARAMETERS
static final int PARAMETRIC_DEFINITION__PARAMETERSThe feature id for the 'Parameters' containment reference list.- See Also:
-
PARAMETRIC_DEFINITION_FEATURE_COUNT
static final int PARAMETRIC_DEFINITION_FEATURE_COUNTThe number of structural features of the 'Parametric Definition' class.- See Also:
-
PARAMETRIC_DEFINITION_OPERATION_COUNT
static final int PARAMETRIC_DEFINITION_OPERATION_COUNTThe number of operations of the 'Parametric Definition' class.- See Also:
-
PREDICATE_DEFINITION
static final int PREDICATE_DEFINITIONThe meta object id for the 'Predicate Definition
' class.- See Also:
-
PREDICATE_DEFINITION__PARAMETERS
static final int PREDICATE_DEFINITION__PARAMETERSThe feature id for the 'Parameters' containment reference list.- See Also:
-
PREDICATE_DEFINITION__NAME
static final int PREDICATE_DEFINITION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
PREDICATE_DEFINITION__BODIES
static final int PREDICATE_DEFINITION__BODIESThe feature id for the 'Bodies' containment reference list.- See Also:
-
PREDICATE_DEFINITION__KIND
static final int PREDICATE_DEFINITION__KINDThe feature id for the 'Kind' attribute.- See Also:
-
PREDICATE_DEFINITION__COMPUTED_VALUE
static final int PREDICATE_DEFINITION__COMPUTED_VALUEThe feature id for the 'Computed Value' containment reference.- See Also:
-
PREDICATE_DEFINITION__SUPER_SETS
static final int PREDICATE_DEFINITION__SUPER_SETSThe feature id for the 'Super Sets' reference list.- See Also:
-
PREDICATE_DEFINITION_FEATURE_COUNT
static final int PREDICATE_DEFINITION_FEATURE_COUNTThe number of structural features of the 'Predicate Definition' class.- See Also:
-
PREDICATE_DEFINITION_OPERATION_COUNT
static final int PREDICATE_DEFINITION_OPERATION_COUNTThe number of operations of the 'Predicate Definition' class.- See Also:
-
VARIABLE_OR_NODE
static final int VARIABLE_OR_NODEThe meta object id for the 'Variable Or Node
' class.- See Also:
-
VARIABLE_OR_NODE__NAME
static final int VARIABLE_OR_NODE__NAMEThe feature id for the 'Name' attribute.- See Also:
-
VARIABLE_OR_NODE_FEATURE_COUNT
static final int VARIABLE_OR_NODE_FEATURE_COUNTThe number of structural features of the 'Variable Or Node' class.- See Also:
-
VARIABLE_OR_NODE_OPERATION_COUNT
static final int VARIABLE_OR_NODE_OPERATION_COUNTThe number of operations of the 'Variable Or Node' class.- See Also:
-
VARIABLE
static final int VARIABLEThe meta object id for the 'Variable
' class.- See Also:
-
VARIABLE__NAME
static final int VARIABLE__NAMEThe feature id for the 'Name' attribute.- See Also:
-
VARIABLE_FEATURE_COUNT
static final int VARIABLE_FEATURE_COUNTThe number of structural features of the 'Variable' class.- See Also:
-
VARIABLE_OPERATION_COUNT
static final int VARIABLE_OPERATION_COUNTThe number of operations of the 'Variable' class.- See Also:
-
PARAMETER
static final int PARAMETERThe meta object id for the 'Parameter
' class.- See Also:
-
PARAMETER__NAME
static final int PARAMETER__NAMEThe feature id for the 'Name' attribute.- See Also:
-
PARAMETER__PARAMETER_TYPE
static final int PARAMETER__PARAMETER_TYPEThe feature id for the 'Parameter Type' reference.- See Also:
-
PARAMETER__BINDING
static final int PARAMETER__BINDINGThe feature id for the 'Binding' attribute.- See Also:
-
PARAMETER_FEATURE_COUNT
static final int PARAMETER_FEATURE_COUNTThe number of structural features of the 'Parameter' class.- See Also:
-
PARAMETER_OPERATION_COUNT
static final int PARAMETER_OPERATION_COUNTThe number of operations of the 'Parameter' class.- See Also:
-
EXPR
static final int EXPRThe meta object id for the 'Expr
' class.- See Also:
-
EXPR_FEATURE_COUNT
static final int EXPR_FEATURE_COUNTThe number of structural features of the 'Expr' class.- See Also:
-
EXPR_OPERATION_COUNT
static final int EXPR_OPERATION_COUNTThe number of operations of the 'Expr' class.- See Also:
-
ATOM
static final int ATOMThe meta object id for the 'Atom
' class.- See Also:
-
ATOM__TRANSITIVE_CLOSURE
static final int ATOM__TRANSITIVE_CLOSUREThe feature id for the 'Transitive Closure' attribute.- See Also:
-
ATOM__ARGUMENTS
static final int ATOM__ARGUMENTSThe feature id for the 'Arguments' containment reference list.- See Also:
-
ATOM__RELATION
static final int ATOM__RELATIONThe feature id for the 'Relation' reference.- See Also:
-
ATOM_FEATURE_COUNT
static final int ATOM_FEATURE_COUNTThe number of structural features of the 'Atom' class.- See Also:
-
ATOM_OPERATION_COUNT
static final int ATOM_OPERATION_COUNTThe number of operations of the 'Atom' class.- See Also:
-
IMPLICIT_VARIABLE
static final int IMPLICIT_VARIABLEThe meta object id for the 'Implicit Variable
' class.- See Also:
-
IMPLICIT_VARIABLE__NAME
static final int IMPLICIT_VARIABLE__NAMEThe feature id for the 'Name' attribute.- See Also:
-
IMPLICIT_VARIABLE_FEATURE_COUNT
static final int IMPLICIT_VARIABLE_FEATURE_COUNTThe number of structural features of the 'Implicit Variable' class.- See Also:
-
IMPLICIT_VARIABLE_OPERATION_COUNT
static final int IMPLICIT_VARIABLE_OPERATION_COUNTThe number of operations of the 'Implicit Variable' class.- See Also:
-
EXISTENTIAL_QUANTIFIER
static final int EXISTENTIAL_QUANTIFIERThe meta object id for the 'Existential Quantifier
' class.- See Also:
-
EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES
static final int EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLESThe feature id for the 'Implicit Variables' containment reference list.- See Also:
-
EXISTENTIAL_QUANTIFIER_FEATURE_COUNT
static final int EXISTENTIAL_QUANTIFIER_FEATURE_COUNTThe number of structural features of the 'Existential Quantifier' class.- See Also:
-
EXISTENTIAL_QUANTIFIER_OPERATION_COUNT
static final int EXISTENTIAL_QUANTIFIER_OPERATION_COUNTThe number of operations of the 'Existential Quantifier' class.- See Also:
-
ABSTRACT_ASSERTION
static final int ABSTRACT_ASSERTIONThe meta object id for the 'Abstract Assertion
' class.- See Also:
-
ABSTRACT_ASSERTION__ARGUMENTS
static final int ABSTRACT_ASSERTION__ARGUMENTSThe feature id for the 'Arguments' containment reference list.- See Also:
-
ABSTRACT_ASSERTION__RELATION
static final int ABSTRACT_ASSERTION__RELATIONThe feature id for the 'Relation' reference.- See Also:
-
ABSTRACT_ASSERTION__VALUE
static final int ABSTRACT_ASSERTION__VALUEThe feature id for the 'Value' containment reference.- See Also:
-
ABSTRACT_ASSERTION_FEATURE_COUNT
static final int ABSTRACT_ASSERTION_FEATURE_COUNTThe number of structural features of the 'Abstract Assertion' class.- See Also:
-
ABSTRACT_ASSERTION_OPERATION_COUNT
static final int ABSTRACT_ASSERTION_OPERATION_COUNTThe number of operations of the 'Abstract Assertion' class.- See Also:
-
NODE
static final int NODEThe meta object id for the 'Node
' class.- See Also:
-
NODE__NAME
static final int NODE__NAMEThe feature id for the 'Name' attribute.- See Also:
-
NODE_FEATURE_COUNT
static final int NODE_FEATURE_COUNTThe number of structural features of the 'Node' class.- See Also:
-
NODE_OPERATION_COUNT
static final int NODE_OPERATION_COUNTThe number of operations of the 'Node' class.- See Also:
-
SCOPE_DECLARATION
static final int SCOPE_DECLARATIONThe meta object id for the 'Scope Declaration
' class.- See Also:
-
SCOPE_DECLARATION__TYPE_SCOPES
static final int SCOPE_DECLARATION__TYPE_SCOPESThe feature id for the 'Type Scopes' containment reference list.- See Also:
-
SCOPE_DECLARATION_FEATURE_COUNT
static final int SCOPE_DECLARATION_FEATURE_COUNTThe number of structural features of the 'Scope Declaration' class.- See Also:
-
SCOPE_DECLARATION_OPERATION_COUNT
static final int SCOPE_DECLARATION_OPERATION_COUNTThe number of operations of the 'Scope Declaration' class.- See Also:
-
TYPE_SCOPE
static final int TYPE_SCOPEThe meta object id for the 'Type Scope
' class.- See Also:
-
TYPE_SCOPE__INCREMENT
static final int TYPE_SCOPE__INCREMENTThe feature id for the 'Increment' attribute.- See Also:
-
TYPE_SCOPE__MULTIPLICITY
static final int TYPE_SCOPE__MULTIPLICITYThe feature id for the 'Multiplicity' containment reference.- See Also:
-
TYPE_SCOPE__TARGET_TYPE
static final int TYPE_SCOPE__TARGET_TYPEThe feature id for the 'Target Type' reference.- See Also:
-
TYPE_SCOPE_FEATURE_COUNT
static final int TYPE_SCOPE_FEATURE_COUNTThe number of structural features of the 'Type Scope' class.- See Also:
-
TYPE_SCOPE_OPERATION_COUNT
static final int TYPE_SCOPE_OPERATION_COUNTThe number of operations of the 'Type Scope' class.- See Also:
-
MULTIPLICITY
static final int MULTIPLICITYThe meta object id for the 'Multiplicity
' class.- See Also:
-
MULTIPLICITY_FEATURE_COUNT
static final int MULTIPLICITY_FEATURE_COUNTThe number of structural features of the 'Multiplicity' class.- See Also:
-
MULTIPLICITY_OPERATION_COUNT
static final int MULTIPLICITY_OPERATION_COUNTThe number of operations of the 'Multiplicity' class.- See Also:
-
RANGE_MULTIPLICITY
static final int RANGE_MULTIPLICITYThe meta object id for the 'Range Multiplicity
' class.- See Also:
-
RANGE_MULTIPLICITY__LOWER_BOUND
static final int RANGE_MULTIPLICITY__LOWER_BOUNDThe feature id for the 'Lower Bound' attribute.- See Also:
-
RANGE_MULTIPLICITY__UPPER_BOUND
static final int RANGE_MULTIPLICITY__UPPER_BOUNDThe feature id for the 'Upper Bound' attribute.- See Also:
-
RANGE_MULTIPLICITY_FEATURE_COUNT
static final int RANGE_MULTIPLICITY_FEATURE_COUNTThe number of structural features of the 'Range Multiplicity' class.- See Also:
-
RANGE_MULTIPLICITY_OPERATION_COUNT
static final int RANGE_MULTIPLICITY_OPERATION_COUNTThe number of operations of the 'Range Multiplicity' class.- See Also:
-
EXACT_MULTIPLICITY
static final int EXACT_MULTIPLICITYThe meta object id for the 'Exact Multiplicity
' class.- See Also:
-
EXACT_MULTIPLICITY__EXACT_VALUE
static final int EXACT_MULTIPLICITY__EXACT_VALUEThe feature id for the 'Exact Value' attribute.- See Also:
-
EXACT_MULTIPLICITY_FEATURE_COUNT
static final int EXACT_MULTIPLICITY_FEATURE_COUNTThe number of structural features of the 'Exact Multiplicity' class.- See Also:
-
EXACT_MULTIPLICITY_OPERATION_COUNT
static final int EXACT_MULTIPLICITY_OPERATION_COUNTThe number of operations of the 'Exact Multiplicity' class.- See Also:
-
UNBOUNDED_MULTIPLICITY
static final int UNBOUNDED_MULTIPLICITYThe meta object id for the 'Unbounded Multiplicity
' class.- See Also:
-
UNBOUNDED_MULTIPLICITY_FEATURE_COUNT
static final int UNBOUNDED_MULTIPLICITY_FEATURE_COUNTThe number of structural features of the 'Unbounded Multiplicity' class.- See Also:
-
UNBOUNDED_MULTIPLICITY_OPERATION_COUNT
static final int UNBOUNDED_MULTIPLICITY_OPERATION_COUNTThe number of operations of the 'Unbounded Multiplicity' class.- See Also:
-
ENUM_DECLARATION
static final int ENUM_DECLARATIONThe meta object id for the 'Enum Declaration
' class.- See Also:
-
ENUM_DECLARATION__NAME
static final int ENUM_DECLARATION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
ENUM_DECLARATION__LITERALS
static final int ENUM_DECLARATION__LITERALSThe feature id for the 'Literals' containment reference list.- See Also:
-
ENUM_DECLARATION_FEATURE_COUNT
static final int ENUM_DECLARATION_FEATURE_COUNTThe number of structural features of the 'Enum Declaration' class.- See Also:
-
ENUM_DECLARATION_OPERATION_COUNT
static final int ENUM_DECLARATION_OPERATION_COUNTThe number of operations of the 'Enum Declaration' class.- See Also:
-
CONSTANT
static final int CONSTANTThe meta object id for the 'Constant
' class.- See Also:
-
CONSTANT_FEATURE_COUNT
static final int CONSTANT_FEATURE_COUNTThe number of structural features of the 'Constant' class.- See Also:
-
CONSTANT_OPERATION_COUNT
static final int CONSTANT_OPERATION_COUNTThe number of operations of the 'Constant' class.- See Also:
-
INT_CONSTANT
static final int INT_CONSTANTThe meta object id for the 'Int Constant
' class.- See Also:
-
INT_CONSTANT__INT_VALUE
static final int INT_CONSTANT__INT_VALUEThe feature id for the 'Int Value' attribute.- See Also:
-
INT_CONSTANT_FEATURE_COUNT
static final int INT_CONSTANT_FEATURE_COUNTThe number of structural features of the 'Int Constant' class.- See Also:
-
INT_CONSTANT_OPERATION_COUNT
static final int INT_CONSTANT_OPERATION_COUNTThe number of operations of the 'Int Constant' class.- See Also:
-
REAL_CONSTANT
static final int REAL_CONSTANTThe meta object id for the 'Real Constant
' class.- See Also:
-
REAL_CONSTANT__REAL_VALUE
static final int REAL_CONSTANT__REAL_VALUEThe feature id for the 'Real Value' attribute.- See Also:
-
REAL_CONSTANT_FEATURE_COUNT
static final int REAL_CONSTANT_FEATURE_COUNTThe number of structural features of the 'Real Constant' class.- See Also:
-
REAL_CONSTANT_OPERATION_COUNT
static final int REAL_CONSTANT_OPERATION_COUNTThe number of operations of the 'Real Constant' class.- See Also:
-
STRING_CONSTANT
static final int STRING_CONSTANTThe meta object id for the 'String Constant
' class.- See Also:
-
STRING_CONSTANT__STRING_VALUE
static final int STRING_CONSTANT__STRING_VALUEThe feature id for the 'String Value' attribute.- See Also:
-
STRING_CONSTANT_FEATURE_COUNT
static final int STRING_CONSTANT_FEATURE_COUNTThe number of structural features of the 'String Constant' class.- See Also:
-
STRING_CONSTANT_OPERATION_COUNT
static final int STRING_CONSTANT_OPERATION_COUNTThe number of operations of the 'String Constant' class.- See Also:
-
ASSERTION_ARGUMENT
static final int ASSERTION_ARGUMENTThe meta object id for the 'Assertion Argument
' class.- See Also:
-
ASSERTION_ARGUMENT_FEATURE_COUNT
static final int ASSERTION_ARGUMENT_FEATURE_COUNTThe number of structural features of the 'Assertion Argument' class.- See Also:
-
ASSERTION_ARGUMENT_OPERATION_COUNT
static final int ASSERTION_ARGUMENT_OPERATION_COUNTThe number of operations of the 'Assertion Argument' class.- See Also:
-
NODE_ASSERTION_ARGUMENT
static final int NODE_ASSERTION_ARGUMENTThe meta object id for the 'Node Assertion Argument
' class.- See Also:
-
NODE_ASSERTION_ARGUMENT__NODE
static final int NODE_ASSERTION_ARGUMENT__NODEThe feature id for the 'Node' reference.- See Also:
-
NODE_ASSERTION_ARGUMENT_FEATURE_COUNT
static final int NODE_ASSERTION_ARGUMENT_FEATURE_COUNTThe number of structural features of the 'Node Assertion Argument' class.- See Also:
-
NODE_ASSERTION_ARGUMENT_OPERATION_COUNT
static final int NODE_ASSERTION_ARGUMENT_OPERATION_COUNTThe number of operations of the 'Node Assertion Argument' class.- See Also:
-
NODE_DECLARATION
static final int NODE_DECLARATIONThe meta object id for the 'Node Declaration
' class.- See Also:
-
NODE_DECLARATION__NODES
static final int NODE_DECLARATION__NODESThe feature id for the 'Nodes' containment reference list.- See Also:
-
NODE_DECLARATION__KIND
static final int NODE_DECLARATION__KINDThe feature id for the 'Kind' attribute.- See Also:
-
NODE_DECLARATION_FEATURE_COUNT
static final int NODE_DECLARATION_FEATURE_COUNTThe number of structural features of the 'Node Declaration' class.- See Also:
-
NODE_DECLARATION_OPERATION_COUNT
static final int NODE_DECLARATION_OPERATION_COUNTThe number of operations of the 'Node Declaration' class.- See Also:
-
WILDCARD_ASSERTION_ARGUMENT
static final int WILDCARD_ASSERTION_ARGUMENTThe meta object id for the 'Wildcard Assertion Argument
' class.- See Also:
-
WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNT
static final int WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNTThe number of structural features of the 'Wildcard Assertion Argument' class.- See Also:
-
WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNT
static final int WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNTThe number of operations of the 'Wildcard Assertion Argument' class.- See Also:
-
RULE_DEFINITION
static final int RULE_DEFINITIONThe meta object id for the 'Rule Definition
' class.- See Also:
-
RULE_DEFINITION__PARAMETERS
static final int RULE_DEFINITION__PARAMETERSThe feature id for the 'Parameters' containment reference list.- See Also:
-
RULE_DEFINITION__NAME
static final int RULE_DEFINITION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
RULE_DEFINITION__CONSEQUENTS
static final int RULE_DEFINITION__CONSEQUENTSThe feature id for the 'Consequents' containment reference list.- See Also:
-
RULE_DEFINITION__PRECONDITIONS
static final int RULE_DEFINITION__PRECONDITIONSThe feature id for the 'Preconditions' containment reference list.- See Also:
-
RULE_DEFINITION__KIND
static final int RULE_DEFINITION__KINDThe feature id for the 'Kind' attribute.- See Also:
-
RULE_DEFINITION_FEATURE_COUNT
static final int RULE_DEFINITION_FEATURE_COUNTThe number of structural features of the 'Rule Definition' class.- See Also:
-
RULE_DEFINITION_OPERATION_COUNT
static final int RULE_DEFINITION_OPERATION_COUNTThe number of operations of the 'Rule Definition' class.- See Also:
-
CONSEQUENT
static final int CONSEQUENTThe meta object id for the 'Consequent
' class.- See Also:
-
CONSEQUENT__ACTIONS
static final int CONSEQUENT__ACTIONSThe feature id for the 'Actions' containment reference list.- See Also:
-
CONSEQUENT_FEATURE_COUNT
static final int CONSEQUENT_FEATURE_COUNTThe number of structural features of the 'Consequent' class.- See Also:
-
CONSEQUENT_OPERATION_COUNT
static final int CONSEQUENT_OPERATION_COUNTThe number of operations of the 'Consequent' class.- See Also:
-
ACTION
static final int ACTIONThe meta object id for the 'Action
' class.- See Also:
-
ACTION_FEATURE_COUNT
static final int ACTION_FEATURE_COUNTThe number of structural features of the 'Action' class.- See Also:
-
ACTION_OPERATION_COUNT
static final int ACTION_OPERATION_COUNTThe number of operations of the 'Action' class.- See Also:
-
ASSERTION_ACTION
static final int ASSERTION_ACTIONThe meta object id for the 'Assertion Action
' class.- See Also:
-
ASSERTION_ACTION__ARGUMENTS
static final int ASSERTION_ACTION__ARGUMENTSThe feature id for the 'Arguments' containment reference list.- See Also:
-
ASSERTION_ACTION__RELATION
static final int ASSERTION_ACTION__RELATIONThe feature id for the 'Relation' reference.- See Also:
-
ASSERTION_ACTION__VALUE
static final int ASSERTION_ACTION__VALUEThe feature id for the 'Value' containment reference.- See Also:
-
ASSERTION_ACTION_FEATURE_COUNT
static final int ASSERTION_ACTION_FEATURE_COUNTThe number of structural features of the 'Assertion Action' class.- See Also:
-
ASSERTION_ACTION_OPERATION_COUNT
static final int ASSERTION_ACTION_OPERATION_COUNTThe number of operations of the 'Assertion Action' class.- See Also:
-
VARIABLE_OR_NODE_EXPR
static final int VARIABLE_OR_NODE_EXPRThe meta object id for the 'Variable Or Node Expr
' class.- See Also:
-
VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE
static final int VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODEThe feature id for the 'Variable Or Node' reference.- See Also:
-
VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE
static final int VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLEThe feature id for the 'Singleton Variable' containment reference.- See Also:
-
VARIABLE_OR_NODE_EXPR_FEATURE_COUNT
static final int VARIABLE_OR_NODE_EXPR_FEATURE_COUNTThe number of structural features of the 'Variable Or Node Expr' class.- See Also:
-
VARIABLE_OR_NODE_EXPR_OPERATION_COUNT
static final int VARIABLE_OR_NODE_EXPR_OPERATION_COUNTThe number of operations of the 'Variable Or Node Expr' class.- See Also:
-
BINARY_EXPR
static final int BINARY_EXPRThe meta object id for the 'Binary Expr
' class.- See Also:
-
BINARY_EXPR__LEFT
static final int BINARY_EXPR__LEFTThe feature id for the 'Left' containment reference.- See Also:
-
BINARY_EXPR__RIGHT
static final int BINARY_EXPR__RIGHTThe feature id for the 'Right' containment reference.- See Also:
-
BINARY_EXPR_FEATURE_COUNT
static final int BINARY_EXPR_FEATURE_COUNTThe number of structural features of the 'Binary Expr' class.- See Also:
-
BINARY_EXPR_OPERATION_COUNT
static final int BINARY_EXPR_OPERATION_COUNTThe number of operations of the 'Binary Expr' class.- See Also:
-
UNARY_EXPR
static final int UNARY_EXPRThe meta object id for the 'Unary Expr
' class.- See Also:
-
UNARY_EXPR__BODY
static final int UNARY_EXPR__BODYThe feature id for the 'Body' containment reference.- See Also:
-
UNARY_EXPR_FEATURE_COUNT
static final int UNARY_EXPR_FEATURE_COUNTThe number of structural features of the 'Unary Expr' class.- See Also:
-
UNARY_EXPR_OPERATION_COUNT
static final int UNARY_EXPR_OPERATION_COUNTThe number of operations of the 'Unary Expr' class.- See Also:
-
ARITHMETIC_UNARY_EXPR
static final int ARITHMETIC_UNARY_EXPRThe meta object id for the 'Arithmetic Unary Expr
' class.- See Also:
-
ARITHMETIC_UNARY_EXPR__BODY
static final int ARITHMETIC_UNARY_EXPR__BODYThe feature id for the 'Body' containment reference.- See Also:
-
ARITHMETIC_UNARY_EXPR__OP
static final int ARITHMETIC_UNARY_EXPR__OPThe feature id for the 'Op' attribute.- See Also:
-
ARITHMETIC_UNARY_EXPR_FEATURE_COUNT
static final int ARITHMETIC_UNARY_EXPR_FEATURE_COUNTThe number of structural features of the 'Arithmetic Unary Expr' class.- See Also:
-
ARITHMETIC_UNARY_EXPR_OPERATION_COUNT
static final int ARITHMETIC_UNARY_EXPR_OPERATION_COUNTThe number of operations of the 'Arithmetic Unary Expr' class.- See Also:
-
AGGREGATION_EXPR
static final int AGGREGATION_EXPRThe meta object id for the 'Aggregation Expr
' class.- See Also:
-
AGGREGATION_EXPR__IMPLICIT_VARIABLES
static final int AGGREGATION_EXPR__IMPLICIT_VARIABLESThe feature id for the 'Implicit Variables' containment reference list.- See Also:
-
AGGREGATION_EXPR__VALUE
static final int AGGREGATION_EXPR__VALUEThe feature id for the 'Value' containment reference.- See Also:
-
AGGREGATION_EXPR__CONDITION
static final int AGGREGATION_EXPR__CONDITIONThe feature id for the 'Condition' containment reference.- See Also:
-
AGGREGATION_EXPR__AGGREGATOR
static final int AGGREGATION_EXPR__AGGREGATORThe feature id for the 'Aggregator' reference.- See Also:
-
AGGREGATION_EXPR_FEATURE_COUNT
static final int AGGREGATION_EXPR_FEATURE_COUNTThe number of structural features of the 'Aggregation Expr' class.- See Also:
-
AGGREGATION_EXPR_OPERATION_COUNT
static final int AGGREGATION_EXPR_OPERATION_COUNTThe number of operations of the 'Aggregation Expr' class.- See Also:
-
COMPARISON_EXPR
static final int COMPARISON_EXPRThe meta object id for the 'Comparison Expr
' class.- See Also:
-
COMPARISON_EXPR__LEFT
static final int COMPARISON_EXPR__LEFTThe feature id for the 'Left' containment reference.- See Also:
-
COMPARISON_EXPR__RIGHT
static final int COMPARISON_EXPR__RIGHTThe feature id for the 'Right' containment reference.- See Also:
-
COMPARISON_EXPR__OP
static final int COMPARISON_EXPR__OPThe feature id for the 'Op' attribute.- See Also:
-
COMPARISON_EXPR_FEATURE_COUNT
static final int COMPARISON_EXPR_FEATURE_COUNTThe number of structural features of the 'Comparison Expr' class.- See Also:
-
COMPARISON_EXPR_OPERATION_COUNT
static final int COMPARISON_EXPR_OPERATION_COUNTThe number of operations of the 'Comparison Expr' class.- See Also:
-
QUANTIFIED_UNARY_EXPR
static final int QUANTIFIED_UNARY_EXPRThe meta object id for the 'Quantified Unary Expr
' class.- See Also:
-
QUANTIFIED_UNARY_EXPR__IMPLICIT_VARIABLES
static final int QUANTIFIED_UNARY_EXPR__IMPLICIT_VARIABLESThe feature id for the 'Implicit Variables' containment reference list.- See Also:
-
QUANTIFIED_UNARY_EXPR__BODY
static final int QUANTIFIED_UNARY_EXPR__BODYThe feature id for the 'Body' containment reference.- See Also:
-
QUANTIFIED_UNARY_EXPR_FEATURE_COUNT
static final int QUANTIFIED_UNARY_EXPR_FEATURE_COUNTThe number of structural features of the 'Quantified Unary Expr' class.- See Also:
-
QUANTIFIED_UNARY_EXPR_OPERATION_COUNT
static final int QUANTIFIED_UNARY_EXPR_OPERATION_COUNTThe number of operations of the 'Quantified Unary Expr' class.- See Also:
-
FUNCTION_DEFINITION
static final int FUNCTION_DEFINITIONThe meta object id for the 'Function Definition
' class.- See Also:
-
FUNCTION_DEFINITION__PARAMETERS
static final int FUNCTION_DEFINITION__PARAMETERSThe feature id for the 'Parameters' containment reference list.- See Also:
-
FUNCTION_DEFINITION__NAME
static final int FUNCTION_DEFINITION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
FUNCTION_DEFINITION__CASES
static final int FUNCTION_DEFINITION__CASESThe feature id for the 'Cases' containment reference list.- See Also:
-
FUNCTION_DEFINITION__FUNCTION_TYPE
static final int FUNCTION_DEFINITION__FUNCTION_TYPEThe feature id for the 'Function Type' reference.- See Also:
-
FUNCTION_DEFINITION_FEATURE_COUNT
static final int FUNCTION_DEFINITION_FEATURE_COUNTThe number of structural features of the 'Function Definition' class.- See Also:
-
FUNCTION_DEFINITION_OPERATION_COUNT
static final int FUNCTION_DEFINITION_OPERATION_COUNTThe number of operations of the 'Function Definition' class.- See Also:
-
CASE
static final int CASEThe meta object id for the 'Case
' class.- See Also:
-
CASE_FEATURE_COUNT
static final int CASE_FEATURE_COUNTThe number of structural features of the 'Case' class.- See Also:
-
CASE_OPERATION_COUNT
static final int CASE_OPERATION_COUNTThe number of operations of the 'Case' class.- See Also:
-
CONJUNCTION
static final int CONJUNCTIONThe meta object id for the 'Conjunction
' class.- See Also:
-
CONJUNCTION__IMPLICIT_VARIABLES
static final int CONJUNCTION__IMPLICIT_VARIABLESThe feature id for the 'Implicit Variables' containment reference list.- See Also:
-
CONJUNCTION__LITERALS
static final int CONJUNCTION__LITERALSThe feature id for the 'Literals' containment reference list.- See Also:
-
CONJUNCTION_FEATURE_COUNT
static final int CONJUNCTION_FEATURE_COUNTThe number of structural features of the 'Conjunction' class.- See Also:
-
CONJUNCTION_OPERATION_COUNT
static final int CONJUNCTION_OPERATION_COUNTThe number of operations of the 'Conjunction' class.- See Also:
-
MATCH
static final int MATCHThe meta object id for the 'Match
' class.- See Also:
-
MATCH__CONDITION
static final int MATCH__CONDITIONThe feature id for the 'Condition' containment reference.- See Also:
-
MATCH__VALUE
static final int MATCH__VALUEThe feature id for the 'Value' containment reference.- See Also:
-
MATCH_FEATURE_COUNT
static final int MATCH_FEATURE_COUNTThe number of structural features of the 'Match' class.- See Also:
-
MATCH_OPERATION_COUNT
static final int MATCH_OPERATION_COUNTThe number of operations of the 'Match' class.- See Also:
-
ARITHMETIC_BINARY_EXPR
static final int ARITHMETIC_BINARY_EXPRThe meta object id for the 'Arithmetic Binary Expr
' class.- See Also:
-
ARITHMETIC_BINARY_EXPR__LEFT
static final int ARITHMETIC_BINARY_EXPR__LEFTThe feature id for the 'Left' containment reference.- See Also:
-
ARITHMETIC_BINARY_EXPR__RIGHT
static final int ARITHMETIC_BINARY_EXPR__RIGHTThe feature id for the 'Right' containment reference.- See Also:
-
ARITHMETIC_BINARY_EXPR__OP
static final int ARITHMETIC_BINARY_EXPR__OPThe feature id for the 'Op' attribute.- See Also:
-
ARITHMETIC_BINARY_EXPR_FEATURE_COUNT
static final int ARITHMETIC_BINARY_EXPR_FEATURE_COUNTThe number of structural features of the 'Arithmetic Binary Expr' class.- See Also:
-
ARITHMETIC_BINARY_EXPR_OPERATION_COUNT
static final int ARITHMETIC_BINARY_EXPR_OPERATION_COUNTThe number of operations of the 'Arithmetic Binary Expr' class.- See Also:
-
NEGATION_EXPR
static final int NEGATION_EXPRThe meta object id for the 'Negation Expr
' class.- See Also:
-
NEGATION_EXPR__IMPLICIT_VARIABLES
static final int NEGATION_EXPR__IMPLICIT_VARIABLESThe feature id for the 'Implicit Variables' containment reference list.- See Also:
-
NEGATION_EXPR__BODY
static final int NEGATION_EXPR__BODYThe feature id for the 'Body' containment reference.- See Also:
-
NEGATION_EXPR_FEATURE_COUNT
static final int NEGATION_EXPR_FEATURE_COUNTThe number of structural features of the 'Negation Expr' class.- See Also:
-
NEGATION_EXPR_OPERATION_COUNT
static final int NEGATION_EXPR_OPERATION_COUNTThe number of operations of the 'Negation Expr' class.- See Also:
-
COUNT_EXPR
static final int COUNT_EXPRThe meta object id for the 'Count Expr
' class.- See Also:
-
COUNT_EXPR__IMPLICIT_VARIABLES
static final int COUNT_EXPR__IMPLICIT_VARIABLESThe feature id for the 'Implicit Variables' containment reference list.- See Also:
-
COUNT_EXPR__BODY
static final int COUNT_EXPR__BODYThe feature id for the 'Body' containment reference.- See Also:
-
COUNT_EXPR_FEATURE_COUNT
static final int COUNT_EXPR_FEATURE_COUNTThe number of structural features of the 'Count Expr' class.- See Also:
-
COUNT_EXPR_OPERATION_COUNT
static final int COUNT_EXPR_OPERATION_COUNTThe number of operations of the 'Count Expr' class.- See Also:
-
RANGE_EXPR
static final int RANGE_EXPRThe meta object id for the 'Range Expr
' class.- See Also:
-
RANGE_EXPR__LEFT
static final int RANGE_EXPR__LEFTThe feature id for the 'Left' containment reference.- See Also:
-
RANGE_EXPR__RIGHT
static final int RANGE_EXPR__RIGHTThe feature id for the 'Right' containment reference.- See Also:
-
RANGE_EXPR_FEATURE_COUNT
static final int RANGE_EXPR_FEATURE_COUNTThe number of structural features of the 'Range Expr' class.- See Also:
-
RANGE_EXPR_OPERATION_COUNT
static final int RANGE_EXPR_OPERATION_COUNTThe number of operations of the 'Range Expr' class.- See Also:
-
LOGIC_CONSTANT
static final int LOGIC_CONSTANTThe meta object id for the 'Logic Constant
' class.- See Also:
-
LOGIC_CONSTANT__LOGIC_VALUE
static final int LOGIC_CONSTANT__LOGIC_VALUEThe feature id for the 'Logic Value' attribute.- See Also:
-
LOGIC_CONSTANT_FEATURE_COUNT
static final int LOGIC_CONSTANT_FEATURE_COUNTThe number of structural features of the 'Logic Constant' class.- See Also:
-
LOGIC_CONSTANT_OPERATION_COUNT
static final int LOGIC_CONSTANT_OPERATION_COUNTThe number of operations of the 'Logic Constant' class.- See Also:
-
IMPORT_STATEMENT
static final int IMPORT_STATEMENTThe meta object id for the 'Import Statement
' class.- See Also:
-
IMPORT_STATEMENT__IMPORTED_MODULE
static final int IMPORT_STATEMENT__IMPORTED_MODULEThe feature id for the 'Imported Module' reference.- See Also:
-
IMPORT_STATEMENT__ALIAS
static final int IMPORT_STATEMENT__ALIASThe feature id for the 'Alias' attribute.- See Also:
-
IMPORT_STATEMENT_FEATURE_COUNT
static final int IMPORT_STATEMENT_FEATURE_COUNTThe number of structural features of the 'Import Statement' class.- See Also:
-
IMPORT_STATEMENT_OPERATION_COUNT
static final int IMPORT_STATEMENT_OPERATION_COUNTThe number of operations of the 'Import Statement' class.- See Also:
-
DATATYPE_DECLARATION
static final int DATATYPE_DECLARATIONThe meta object id for the 'Datatype Declaration
' class.- See Also:
-
DATATYPE_DECLARATION__NAME
static final int DATATYPE_DECLARATION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
DATATYPE_DECLARATION_FEATURE_COUNT
static final int DATATYPE_DECLARATION_FEATURE_COUNTThe number of structural features of the 'Datatype Declaration' class.- See Also:
-
DATATYPE_DECLARATION_OPERATION_COUNT
static final int DATATYPE_DECLARATION_OPERATION_COUNTThe number of operations of the 'Datatype Declaration' class.- See Also:
-
LATTICE_BINARY_EXPR
static final int LATTICE_BINARY_EXPRThe meta object id for the 'Lattice Binary Expr
' class.- See Also:
-
LATTICE_BINARY_EXPR__LEFT
static final int LATTICE_BINARY_EXPR__LEFTThe feature id for the 'Left' containment reference.- See Also:
-
LATTICE_BINARY_EXPR__RIGHT
static final int LATTICE_BINARY_EXPR__RIGHTThe feature id for the 'Right' containment reference.- See Also:
-
LATTICE_BINARY_EXPR__OP
static final int LATTICE_BINARY_EXPR__OPThe feature id for the 'Op' attribute.- See Also:
-
LATTICE_BINARY_EXPR_FEATURE_COUNT
static final int LATTICE_BINARY_EXPR_FEATURE_COUNTThe number of structural features of the 'Lattice Binary Expr' class.- See Also:
-
LATTICE_BINARY_EXPR_OPERATION_COUNT
static final int LATTICE_BINARY_EXPR_OPERATION_COUNTThe number of operations of the 'Lattice Binary Expr' class.- See Also:
-
CAST_EXPR
static final int CAST_EXPRThe meta object id for the 'Cast Expr
' class.- See Also:
-
CAST_EXPR__BODY
static final int CAST_EXPR__BODYThe feature id for the 'Body' containment reference.- See Also:
-
CAST_EXPR__TARGET_TYPE
static final int CAST_EXPR__TARGET_TYPEThe feature id for the 'Target Type' reference.- See Also:
-
CAST_EXPR_FEATURE_COUNT
static final int CAST_EXPR_FEATURE_COUNTThe number of structural features of the 'Cast Expr' class.- See Also:
-
CAST_EXPR_OPERATION_COUNT
static final int CAST_EXPR_OPERATION_COUNTThe number of operations of the 'Cast Expr' class.- See Also:
-
ASSIGNMENT_EXPR
static final int ASSIGNMENT_EXPRThe meta object id for the 'Assignment Expr
' class.- See Also:
-
ASSIGNMENT_EXPR__LEFT
static final int ASSIGNMENT_EXPR__LEFTThe feature id for the 'Left' containment reference.- See Also:
-
ASSIGNMENT_EXPR__RIGHT
static final int ASSIGNMENT_EXPR__RIGHTThe feature id for the 'Right' containment reference.- See Also:
-
ASSIGNMENT_EXPR_FEATURE_COUNT
static final int ASSIGNMENT_EXPR_FEATURE_COUNTThe number of structural features of the 'Assignment Expr' class.- See Also:
-
ASSIGNMENT_EXPR_OPERATION_COUNT
static final int ASSIGNMENT_EXPR_OPERATION_COUNTThe number of operations of the 'Assignment Expr' class.- See Also:
-
INFINITE_CONSTANT
static final int INFINITE_CONSTANTThe meta object id for the 'Infinite Constant
' class.- See Also:
-
INFINITE_CONSTANT_FEATURE_COUNT
static final int INFINITE_CONSTANT_FEATURE_COUNTThe number of structural features of the 'Infinite Constant' class.- See Also:
-
INFINITE_CONSTANT_OPERATION_COUNT
static final int INFINITE_CONSTANT_OPERATION_COUNTThe number of operations of the 'Infinite Constant' class.- See Also:
-
AGGREGATOR_DECLARATION
static final int AGGREGATOR_DECLARATIONThe meta object id for the 'Aggregator Declaration
' class.- See Also:
-
AGGREGATOR_DECLARATION__NAME
static final int AGGREGATOR_DECLARATION__NAMEThe feature id for the 'Name' attribute.- See Also:
-
AGGREGATOR_DECLARATION_FEATURE_COUNT
static final int AGGREGATOR_DECLARATION_FEATURE_COUNTThe number of structural features of the 'Aggregator Declaration' class.- See Also:
-
AGGREGATOR_DECLARATION_OPERATION_COUNT
static final int AGGREGATOR_DECLARATION_OPERATION_COUNTThe number of operations of the 'Aggregator Declaration' class.- See Also:
-
MODAL_EXPR
static final int MODAL_EXPRThe meta object id for the 'Modal Expr
' class.- See Also:
-
MODAL_EXPR__BODY
static final int MODAL_EXPR__BODYThe feature id for the 'Body' containment reference.- See Also:
-
MODAL_EXPR__CONCRETENESS
static final int MODAL_EXPR__CONCRETENESSThe feature id for the 'Concreteness' attribute.- See Also:
-
MODAL_EXPR__MODALITY
static final int MODAL_EXPR__MODALITYThe feature id for the 'Modality' attribute.- See Also:
-
MODAL_EXPR_FEATURE_COUNT
static final int MODAL_EXPR_FEATURE_COUNTThe number of structural features of the 'Modal Expr' class.- See Also:
-
MODAL_EXPR_OPERATION_COUNT
static final int MODAL_EXPR_OPERATION_COUNTThe number of operations of the 'Modal Expr' class.- See Also:
-
ASSERTION
static final int ASSERTIONThe meta object id for the 'Assertion
' class.- See Also:
-
ASSERTION__ARGUMENTS
static final int ASSERTION__ARGUMENTSThe feature id for the 'Arguments' containment reference list.- See Also:
-
ASSERTION__RELATION
static final int ASSERTION__RELATIONThe feature id for the 'Relation' reference.- See Also:
-
ASSERTION__VALUE
static final int ASSERTION__VALUEThe feature id for the 'Value' containment reference.- See Also:
-
ASSERTION__DEFAULT
static final int ASSERTION__DEFAULTThe feature id for the 'Default' attribute.- See Also:
-
ASSERTION_FEATURE_COUNT
static final int ASSERTION_FEATURE_COUNTThe number of structural features of the 'Assertion' class.- See Also:
-
ASSERTION_OPERATION_COUNT
static final int ASSERTION_OPERATION_COUNTThe number of operations of the 'Assertion' class.- See Also:
-
LOGIC_VALUE
static final int LOGIC_VALUEThe meta object id for the 'Logic Value
' enum.- See Also:
-
COMPARISON_OP
static final int COMPARISON_OPThe meta object id for the 'Comparison Op
' enum.- See Also:
-
REFERENCE_KIND
static final int REFERENCE_KINDThe meta object id for the 'Reference Kind
' enum.- See Also:
-
UNARY_OP
static final int UNARY_OPThe meta object id for the 'Unary Op
' enum.- See Also:
-
BINARY_OP
static final int BINARY_OPThe meta object id for the 'Binary Op
' enum.- See Also:
-
MODULE_KIND
static final int MODULE_KINDThe meta object id for the 'Module Kind
' enum.- See Also:
-
NODE_KIND
static final int NODE_KINDThe meta object id for the 'Node Kind
' enum.- See Also:
-
LATTICE_BINARY_OP
static final int LATTICE_BINARY_OPThe meta object id for the 'Lattice Binary Op
' enum.- See Also:
-
MODALITY
static final int MODALITYThe meta object id for the 'Modality
' enum.- See Also:
-
CONCRETENESS
static final int CONCRETENESSThe meta object id for the 'Concreteness
' enum.- See Also:
-
RULE_KIND
static final int RULE_KINDThe meta object id for the 'Rule Kind
' enum.- See Also:
-
PARAMETER_BINDING
static final int PARAMETER_BINDINGThe meta object id for the 'Parameter Binding
' enum.- See Also:
-
PREDICATE_KIND
static final int PREDICATE_KINDThe meta object id for the 'Predicate Kind
' enum.- See Also:
-
-
Method Details
-
getProblem
org.eclipse.emf.ecore.EClass getProblem()Returns the meta object for class 'Problem
'.- Returns:
- the meta object for class 'Problem'.
- See Also:
-
getProblem_Nodes
org.eclipse.emf.ecore.EReference getProblem_Nodes()Returns the meta object for the containment reference list 'Nodes
'.- Returns:
- the meta object for the containment reference list 'Nodes'.
- See Also:
-
getProblem_Statements
org.eclipse.emf.ecore.EReference getProblem_Statements()Returns the meta object for the containment reference list 'Statements
'.- Returns:
- the meta object for the containment reference list 'Statements'.
- See Also:
-
getProblem_Kind
org.eclipse.emf.ecore.EAttribute getProblem_Kind()Returns the meta object for the attribute 'Kind
'.- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getProblem_ExplicitKind
org.eclipse.emf.ecore.EAttribute getProblem_ExplicitKind()Returns the meta object for the attribute 'Explicit Kind
'.- Returns:
- the meta object for the attribute 'Explicit Kind'.
- See Also:
-
getClassDeclaration
org.eclipse.emf.ecore.EClass getClassDeclaration()Returns the meta object for class 'Class Declaration
'.- Returns:
- the meta object for class 'Class Declaration'.
- See Also:
-
getClassDeclaration_Abstract
org.eclipse.emf.ecore.EAttribute getClassDeclaration_Abstract()Returns the meta object for the attribute 'Abstract
'.- Returns:
- the meta object for the attribute 'Abstract'.
- See Also:
-
getClassDeclaration_FeatureDeclarations
org.eclipse.emf.ecore.EReference getClassDeclaration_FeatureDeclarations()Returns the meta object for the containment reference list 'Feature Declarations
'.- Returns:
- the meta object for the containment reference list 'Feature Declarations'.
- See Also:
-
getClassDeclaration_NewNode
org.eclipse.emf.ecore.EReference getClassDeclaration_NewNode()Returns the meta object for the containment reference 'New Node
'.- Returns:
- the meta object for the containment reference 'New Node'.
- See Also:
-
getClassDeclaration_SuperTypes
org.eclipse.emf.ecore.EReference getClassDeclaration_SuperTypes()Returns the meta object for the reference list 'Super Types
'.- Returns:
- the meta object for the reference list 'Super Types'.
- See Also:
-
getReferenceDeclaration
org.eclipse.emf.ecore.EClass getReferenceDeclaration()Returns the meta object for class 'Reference Declaration
'.- Returns:
- the meta object for class 'Reference Declaration'.
- See Also:
-
getReferenceDeclaration_Opposite
org.eclipse.emf.ecore.EReference getReferenceDeclaration_Opposite()Returns the meta object for the reference 'Opposite
'.- Returns:
- the meta object for the reference 'Opposite'.
- See Also:
-
getReferenceDeclaration_Multiplicity
org.eclipse.emf.ecore.EReference getReferenceDeclaration_Multiplicity()Returns the meta object for the containment reference 'Multiplicity
'.- Returns:
- the meta object for the containment reference 'Multiplicity'.
- See Also:
-
getReferenceDeclaration_Kind
org.eclipse.emf.ecore.EAttribute getReferenceDeclaration_Kind()Returns the meta object for the attribute 'Kind
'.- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getReferenceDeclaration_ReferenceType
org.eclipse.emf.ecore.EReference getReferenceDeclaration_ReferenceType()Returns the meta object for the reference 'Reference Type
'.- Returns:
- the meta object for the reference 'Reference Type'.
- See Also:
-
getReferenceDeclaration_InvalidMultiplicity
org.eclipse.emf.ecore.EReference getReferenceDeclaration_InvalidMultiplicity()Returns the meta object for the containment reference 'Invalid Multiplicity
'.- Returns:
- the meta object for the containment reference 'Invalid Multiplicity'.
- See Also:
-
getReferenceDeclaration_SuperSets
org.eclipse.emf.ecore.EReference getReferenceDeclaration_SuperSets()Returns the meta object for the reference list 'Super Sets
'.- Returns:
- the meta object for the reference list 'Super Sets'.
- See Also:
-
getNamedElement
org.eclipse.emf.ecore.EClass getNamedElement()Returns the meta object for class 'Named Element
'.- Returns:
- the meta object for class 'Named Element'.
- See Also:
-
getNamedElement_Name
org.eclipse.emf.ecore.EAttribute getNamedElement_Name()Returns the meta object for the attribute 'Name
'.- Returns:
- the meta object for the attribute 'Name'.
- See Also:
-
getPredicateDefinition
org.eclipse.emf.ecore.EClass getPredicateDefinition()Returns the meta object for class 'Predicate Definition
'.- Returns:
- the meta object for class 'Predicate Definition'.
- See Also:
-
getPredicateDefinition_Bodies
org.eclipse.emf.ecore.EReference getPredicateDefinition_Bodies()Returns the meta object for the containment reference list 'Bodies
'.- Returns:
- the meta object for the containment reference list 'Bodies'.
- See Also:
-
getPredicateDefinition_Kind
org.eclipse.emf.ecore.EAttribute getPredicateDefinition_Kind()Returns the meta object for the attribute 'Kind
'.- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getPredicateDefinition_ComputedValue
org.eclipse.emf.ecore.EReference getPredicateDefinition_ComputedValue()Returns the meta object for the containment reference 'Computed Value
'.- Returns:
- the meta object for the containment reference 'Computed Value'.
- See Also:
-
getPredicateDefinition_SuperSets
org.eclipse.emf.ecore.EReference getPredicateDefinition_SuperSets()Returns the meta object for the reference list 'Super Sets
'.- Returns:
- the meta object for the reference list 'Super Sets'.
- See Also:
-
getParameter
org.eclipse.emf.ecore.EClass getParameter()Returns the meta object for class 'Parameter
'.- Returns:
- the meta object for class 'Parameter'.
- See Also:
-
getParameter_ParameterType
org.eclipse.emf.ecore.EReference getParameter_ParameterType()Returns the meta object for the reference 'Parameter Type
'.- Returns:
- the meta object for the reference 'Parameter Type'.
- See Also:
-
getParameter_Binding
org.eclipse.emf.ecore.EAttribute getParameter_Binding()Returns the meta object for the attribute 'Binding
'.- Returns:
- the meta object for the attribute 'Binding'.
- See Also:
-
getVariable
org.eclipse.emf.ecore.EClass getVariable()Returns the meta object for class 'Variable
'.- Returns:
- the meta object for class 'Variable'.
- See Also:
-
getAtom
org.eclipse.emf.ecore.EClass getAtom()Returns the meta object for class 'Atom
'.- Returns:
- the meta object for class 'Atom'.
- See Also:
-
getAtom_TransitiveClosure
org.eclipse.emf.ecore.EAttribute getAtom_TransitiveClosure()Returns the meta object for the attribute 'Transitive Closure
'.- Returns:
- the meta object for the attribute 'Transitive Closure'.
- See Also:
-
getAtom_Arguments
org.eclipse.emf.ecore.EReference getAtom_Arguments()Returns the meta object for the containment reference list 'Arguments
'.- Returns:
- the meta object for the containment reference list 'Arguments'.
- See Also:
-
getAtom_Relation
org.eclipse.emf.ecore.EReference getAtom_Relation()Returns the meta object for the reference 'Relation
'.- Returns:
- the meta object for the reference 'Relation'.
- See Also:
-
getImplicitVariable
org.eclipse.emf.ecore.EClass getImplicitVariable()Returns the meta object for class 'Implicit Variable
'.- Returns:
- the meta object for class 'Implicit Variable'.
- See Also:
-
getExistentialQuantifier
org.eclipse.emf.ecore.EClass getExistentialQuantifier()Returns the meta object for class 'Existential Quantifier
'.- Returns:
- the meta object for class 'Existential Quantifier'.
- See Also:
-
getExistentialQuantifier_ImplicitVariables
org.eclipse.emf.ecore.EReference getExistentialQuantifier_ImplicitVariables()Returns the meta object for the containment reference list 'Implicit Variables
'.- Returns:
- the meta object for the containment reference list 'Implicit Variables'.
- See Also:
-
getAbstractAssertion
org.eclipse.emf.ecore.EClass getAbstractAssertion()Returns the meta object for class 'Abstract Assertion
'.- Returns:
- the meta object for class 'Abstract Assertion'.
- See Also:
-
getAbstractAssertion_Arguments
org.eclipse.emf.ecore.EReference getAbstractAssertion_Arguments()Returns the meta object for the containment reference list 'Arguments
'.- Returns:
- the meta object for the containment reference list 'Arguments'.
- See Also:
-
getAbstractAssertion_Relation
org.eclipse.emf.ecore.EReference getAbstractAssertion_Relation()Returns the meta object for the reference 'Relation
'.- Returns:
- the meta object for the reference 'Relation'.
- See Also:
-
getAbstractAssertion_Value
org.eclipse.emf.ecore.EReference getAbstractAssertion_Value()Returns the meta object for the containment reference 'Value
'.- Returns:
- the meta object for the containment reference 'Value'.
- See Also:
-
getNode
org.eclipse.emf.ecore.EClass getNode()Returns the meta object for class 'Node
'.- Returns:
- the meta object for class 'Node'.
- See Also:
-
getScopeDeclaration
org.eclipse.emf.ecore.EClass getScopeDeclaration()Returns the meta object for class 'Scope Declaration
'.- Returns:
- the meta object for class 'Scope Declaration'.
- See Also:
-
getScopeDeclaration_TypeScopes
org.eclipse.emf.ecore.EReference getScopeDeclaration_TypeScopes()Returns the meta object for the containment reference list 'Type Scopes
'.- Returns:
- the meta object for the containment reference list 'Type Scopes'.
- See Also:
-
getStatement
org.eclipse.emf.ecore.EClass getStatement()Returns the meta object for class 'Statement
'.- Returns:
- the meta object for class 'Statement'.
- See Also:
-
getTypeScope
org.eclipse.emf.ecore.EClass getTypeScope()Returns the meta object for class 'Type Scope
'.- Returns:
- the meta object for class 'Type Scope'.
- See Also:
-
getTypeScope_Increment
org.eclipse.emf.ecore.EAttribute getTypeScope_Increment()Returns the meta object for the attribute 'Increment
'.- Returns:
- the meta object for the attribute 'Increment'.
- See Also:
-
getTypeScope_Multiplicity
org.eclipse.emf.ecore.EReference getTypeScope_Multiplicity()Returns the meta object for the containment reference 'Multiplicity
'.- Returns:
- the meta object for the containment reference 'Multiplicity'.
- See Also:
-
getTypeScope_TargetType
org.eclipse.emf.ecore.EReference getTypeScope_TargetType()Returns the meta object for the reference 'Target Type
'.- Returns:
- the meta object for the reference 'Target Type'.
- See Also:
-
getMultiplicity
org.eclipse.emf.ecore.EClass getMultiplicity()Returns the meta object for class 'Multiplicity
'.- Returns:
- the meta object for class 'Multiplicity'.
- See Also:
-
getRangeMultiplicity
org.eclipse.emf.ecore.EClass getRangeMultiplicity()Returns the meta object for class 'Range Multiplicity
'.- Returns:
- the meta object for class 'Range Multiplicity'.
- See Also:
-
getRangeMultiplicity_LowerBound
org.eclipse.emf.ecore.EAttribute getRangeMultiplicity_LowerBound()Returns the meta object for the attribute 'Lower Bound
'.- Returns:
- the meta object for the attribute 'Lower Bound'.
- See Also:
-
getRangeMultiplicity_UpperBound
org.eclipse.emf.ecore.EAttribute getRangeMultiplicity_UpperBound()Returns the meta object for the attribute 'Upper Bound
'.- Returns:
- the meta object for the attribute 'Upper Bound'.
- See Also:
-
getExactMultiplicity
org.eclipse.emf.ecore.EClass getExactMultiplicity()Returns the meta object for class 'Exact Multiplicity
'.- Returns:
- the meta object for class 'Exact Multiplicity'.
- See Also:
-
getExactMultiplicity_ExactValue
org.eclipse.emf.ecore.EAttribute getExactMultiplicity_ExactValue()Returns the meta object for the attribute 'Exact Value
'.- Returns:
- the meta object for the attribute 'Exact Value'.
- See Also:
-
getUnboundedMultiplicity
org.eclipse.emf.ecore.EClass getUnboundedMultiplicity()Returns the meta object for class 'Unbounded Multiplicity
'.- Returns:
- the meta object for class 'Unbounded Multiplicity'.
- See Also:
-
getEnumDeclaration
org.eclipse.emf.ecore.EClass getEnumDeclaration()Returns the meta object for class 'Enum Declaration
'.- Returns:
- the meta object for class 'Enum Declaration'.
- See Also:
-
getEnumDeclaration_Literals
org.eclipse.emf.ecore.EReference getEnumDeclaration_Literals()Returns the meta object for the containment reference list 'Literals
'.- Returns:
- the meta object for the containment reference list 'Literals'.
- See Also:
-
getVariableOrNode
org.eclipse.emf.ecore.EClass getVariableOrNode()Returns the meta object for class 'Variable Or Node
'.- Returns:
- the meta object for class 'Variable Or Node'.
- See Also:
-
getConstant
org.eclipse.emf.ecore.EClass getConstant()Returns the meta object for class 'Constant
'.- Returns:
- the meta object for class 'Constant'.
- See Also:
-
getIntConstant
org.eclipse.emf.ecore.EClass getIntConstant()Returns the meta object for class 'Int Constant
'.- Returns:
- the meta object for class 'Int Constant'.
- See Also:
-
getIntConstant_IntValue
org.eclipse.emf.ecore.EAttribute getIntConstant_IntValue()Returns the meta object for the attribute 'Int Value
'.- Returns:
- the meta object for the attribute 'Int Value'.
- See Also:
-
getRealConstant
org.eclipse.emf.ecore.EClass getRealConstant()Returns the meta object for class 'Real Constant
'.- Returns:
- the meta object for class 'Real Constant'.
- See Also:
-
getRealConstant_RealValue
org.eclipse.emf.ecore.EAttribute getRealConstant_RealValue()Returns the meta object for the attribute 'Real Value
'.- Returns:
- the meta object for the attribute 'Real Value'.
- See Also:
-
getStringConstant
org.eclipse.emf.ecore.EClass getStringConstant()Returns the meta object for class 'String Constant
'.- Returns:
- the meta object for class 'String Constant'.
- See Also:
-
getStringConstant_StringValue
org.eclipse.emf.ecore.EAttribute getStringConstant_StringValue()Returns the meta object for the attribute 'String Value
'.- Returns:
- the meta object for the attribute 'String Value'.
- See Also:
-
getNodeAssertionArgument
org.eclipse.emf.ecore.EClass getNodeAssertionArgument()Returns the meta object for class 'Node Assertion Argument
'.- Returns:
- the meta object for class 'Node Assertion Argument'.
- See Also:
-
getNodeAssertionArgument_Node
org.eclipse.emf.ecore.EReference getNodeAssertionArgument_Node()Returns the meta object for the reference 'Node
'.- Returns:
- the meta object for the reference 'Node'.
- See Also:
-
getAssertionArgument
org.eclipse.emf.ecore.EClass getAssertionArgument()Returns the meta object for class 'Assertion Argument
'.- Returns:
- the meta object for class 'Assertion Argument'.
- See Also:
-
getNodeDeclaration
org.eclipse.emf.ecore.EClass getNodeDeclaration()Returns the meta object for class 'Node Declaration
'.- Returns:
- the meta object for class 'Node Declaration'.
- See Also:
-
getNodeDeclaration_Nodes
org.eclipse.emf.ecore.EReference getNodeDeclaration_Nodes()Returns the meta object for the containment reference list 'Nodes
'.- Returns:
- the meta object for the containment reference list 'Nodes'.
- See Also:
-
getNodeDeclaration_Kind
org.eclipse.emf.ecore.EAttribute getNodeDeclaration_Kind()Returns the meta object for the attribute 'Kind
'.- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getWildcardAssertionArgument
org.eclipse.emf.ecore.EClass getWildcardAssertionArgument()Returns the meta object for class 'Wildcard Assertion Argument
'.- Returns:
- the meta object for class 'Wildcard Assertion Argument'.
- See Also:
-
getParametricDefinition
org.eclipse.emf.ecore.EClass getParametricDefinition()Returns the meta object for class 'Parametric Definition
'.- Returns:
- the meta object for class 'Parametric Definition'.
- See Also:
-
getParametricDefinition_Parameters
org.eclipse.emf.ecore.EReference getParametricDefinition_Parameters()Returns the meta object for the containment reference list 'Parameters
'.- Returns:
- the meta object for the containment reference list 'Parameters'.
- See Also:
-
getRuleDefinition
org.eclipse.emf.ecore.EClass getRuleDefinition()Returns the meta object for class 'Rule Definition
'.- Returns:
- the meta object for class 'Rule Definition'.
- See Also:
-
getRuleDefinition_Consequents
org.eclipse.emf.ecore.EReference getRuleDefinition_Consequents()Returns the meta object for the containment reference list 'Consequents
'.- Returns:
- the meta object for the containment reference list 'Consequents'.
- See Also:
-
getRuleDefinition_Preconditions
org.eclipse.emf.ecore.EReference getRuleDefinition_Preconditions()Returns the meta object for the containment reference list 'Preconditions
'.- Returns:
- the meta object for the containment reference list 'Preconditions'.
- See Also:
-
getRuleDefinition_Kind
org.eclipse.emf.ecore.EAttribute getRuleDefinition_Kind()Returns the meta object for the attribute 'Kind
'.- Returns:
- the meta object for the attribute 'Kind'.
- See Also:
-
getConsequent
org.eclipse.emf.ecore.EClass getConsequent()Returns the meta object for class 'Consequent
'.- Returns:
- the meta object for class 'Consequent'.
- See Also:
-
getConsequent_Actions
org.eclipse.emf.ecore.EReference getConsequent_Actions()Returns the meta object for the containment reference list 'Actions
'.- Returns:
- the meta object for the containment reference list 'Actions'.
- See Also:
-
getAction
org.eclipse.emf.ecore.EClass getAction()Returns the meta object for class 'Action
'.- Returns:
- the meta object for class 'Action'.
- See Also:
-
getAssertionAction
org.eclipse.emf.ecore.EClass getAssertionAction()Returns the meta object for class 'Assertion Action
'.- Returns:
- the meta object for class 'Assertion Action'.
- See Also:
-
getExpr
org.eclipse.emf.ecore.EClass getExpr()Returns the meta object for class 'Expr
'.- Returns:
- the meta object for class 'Expr'.
- See Also:
-
getVariableOrNodeExpr
org.eclipse.emf.ecore.EClass getVariableOrNodeExpr()Returns the meta object for class 'Variable Or Node Expr
'.- Returns:
- the meta object for class 'Variable Or Node Expr'.
- See Also:
-
getVariableOrNodeExpr_VariableOrNode
org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_VariableOrNode()Returns the meta object for the reference 'Variable Or Node
'.- Returns:
- the meta object for the reference 'Variable Or Node'.
- See Also:
-
getVariableOrNodeExpr_SingletonVariable
org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_SingletonVariable()Returns the meta object for the containment reference 'Singleton Variable
'.- Returns:
- the meta object for the containment reference 'Singleton Variable'.
- See Also:
-
getBinaryExpr
org.eclipse.emf.ecore.EClass getBinaryExpr()Returns the meta object for class 'Binary Expr
'.- Returns:
- the meta object for class 'Binary Expr'.
- See Also:
-
getBinaryExpr_Left
org.eclipse.emf.ecore.EReference getBinaryExpr_Left()Returns the meta object for the containment reference 'Left
'.- Returns:
- the meta object for the containment reference 'Left'.
- See Also:
-
getBinaryExpr_Right
org.eclipse.emf.ecore.EReference getBinaryExpr_Right()Returns the meta object for the containment reference 'Right
'.- Returns:
- the meta object for the containment reference 'Right'.
- See Also:
-
getUnaryExpr
org.eclipse.emf.ecore.EClass getUnaryExpr()Returns the meta object for class 'Unary Expr
'.- Returns:
- the meta object for class 'Unary Expr'.
- See Also:
-
getUnaryExpr_Body
org.eclipse.emf.ecore.EReference getUnaryExpr_Body()Returns the meta object for the containment reference 'Body
'.- Returns:
- the meta object for the containment reference 'Body'.
- See Also:
-
getArithmeticUnaryExpr
org.eclipse.emf.ecore.EClass getArithmeticUnaryExpr()Returns the meta object for class 'Arithmetic Unary Expr
'.- Returns:
- the meta object for class 'Arithmetic Unary Expr'.
- See Also:
-
getArithmeticUnaryExpr_Op
org.eclipse.emf.ecore.EAttribute getArithmeticUnaryExpr_Op()Returns the meta object for the attribute 'Op
'.- Returns:
- the meta object for the attribute 'Op'.
- See Also:
-
getAggregationExpr
org.eclipse.emf.ecore.EClass getAggregationExpr()Returns the meta object for class 'Aggregation Expr
'.- Returns:
- the meta object for class 'Aggregation Expr'.
- See Also:
-
getAggregationExpr_Value
org.eclipse.emf.ecore.EReference getAggregationExpr_Value()Returns the meta object for the containment reference 'Value
'.- Returns:
- the meta object for the containment reference 'Value'.
- See Also:
-
getAggregationExpr_Condition
org.eclipse.emf.ecore.EReference getAggregationExpr_Condition()Returns the meta object for the containment reference 'Condition
'.- Returns:
- the meta object for the containment reference 'Condition'.
- See Also:
-
getAggregationExpr_Aggregator
org.eclipse.emf.ecore.EReference getAggregationExpr_Aggregator()Returns the meta object for the reference 'Aggregator
'.- Returns:
- the meta object for the reference 'Aggregator'.
- See Also:
-
getComparisonExpr
org.eclipse.emf.ecore.EClass getComparisonExpr()Returns the meta object for class 'Comparison Expr
'.- Returns:
- the meta object for class 'Comparison Expr'.
- See Also:
-
getComparisonExpr_Op
org.eclipse.emf.ecore.EAttribute getComparisonExpr_Op()Returns the meta object for the attribute 'Op
'.- Returns:
- the meta object for the attribute 'Op'.
- See Also:
-
getQuantifiedUnaryExpr
org.eclipse.emf.ecore.EClass getQuantifiedUnaryExpr()Returns the meta object for class 'Quantified Unary Expr
'.- Returns:
- the meta object for class 'Quantified Unary Expr'.
- See Also:
-
getFunctionDefinition
org.eclipse.emf.ecore.EClass getFunctionDefinition()Returns the meta object for class 'Function Definition
'.- Returns:
- the meta object for class 'Function Definition'.
- See Also:
-
getFunctionDefinition_Cases
org.eclipse.emf.ecore.EReference getFunctionDefinition_Cases()Returns the meta object for the containment reference list 'Cases
'.- Returns:
- the meta object for the containment reference list 'Cases'.
- See Also:
-
getFunctionDefinition_FunctionType
org.eclipse.emf.ecore.EReference getFunctionDefinition_FunctionType()Returns the meta object for the reference 'Function Type
'.- Returns:
- the meta object for the reference 'Function Type'.
- See Also:
-
getCase
org.eclipse.emf.ecore.EClass getCase()Returns the meta object for class 'Case
'.- Returns:
- the meta object for class 'Case'.
- See Also:
-
getConjunction
org.eclipse.emf.ecore.EClass getConjunction()Returns the meta object for class 'Conjunction
'.- Returns:
- the meta object for class 'Conjunction'.
- See Also:
-
getConjunction_Literals
org.eclipse.emf.ecore.EReference getConjunction_Literals()Returns the meta object for the containment reference list 'Literals
'.- Returns:
- the meta object for the containment reference list 'Literals'.
- See Also:
-
getMatch
org.eclipse.emf.ecore.EClass getMatch()Returns the meta object for class 'Match
'.- Returns:
- the meta object for class 'Match'.
- See Also:
-
getMatch_Condition
org.eclipse.emf.ecore.EReference getMatch_Condition()Returns the meta object for the containment reference 'Condition
'.- Returns:
- the meta object for the containment reference 'Condition'.
- See Also:
-
getMatch_Value
org.eclipse.emf.ecore.EReference getMatch_Value()Returns the meta object for the containment reference 'Value
'.- Returns:
- the meta object for the containment reference 'Value'.
- See Also:
-
getArithmeticBinaryExpr
org.eclipse.emf.ecore.EClass getArithmeticBinaryExpr()Returns the meta object for class 'Arithmetic Binary Expr
'.- Returns:
- the meta object for class 'Arithmetic Binary Expr'.
- See Also:
-
getArithmeticBinaryExpr_Op
org.eclipse.emf.ecore.EAttribute getArithmeticBinaryExpr_Op()Returns the meta object for the attribute 'Op
'.- Returns:
- the meta object for the attribute 'Op'.
- See Also:
-
getNegationExpr
org.eclipse.emf.ecore.EClass getNegationExpr()Returns the meta object for class 'Negation Expr
'.- Returns:
- the meta object for class 'Negation Expr'.
- See Also:
-
getCountExpr
org.eclipse.emf.ecore.EClass getCountExpr()Returns the meta object for class 'Count Expr
'.- Returns:
- the meta object for class 'Count Expr'.
- See Also:
-
getRelation
org.eclipse.emf.ecore.EClass getRelation()Returns the meta object for class 'Relation
'.- Returns:
- the meta object for class 'Relation'.
- See Also:
-
getRangeExpr
org.eclipse.emf.ecore.EClass getRangeExpr()Returns the meta object for class 'Range Expr
'.- Returns:
- the meta object for class 'Range Expr'.
- See Also:
-
getLogicConstant
org.eclipse.emf.ecore.EClass getLogicConstant()Returns the meta object for class 'Logic Constant
'.- Returns:
- the meta object for class 'Logic Constant'.
- See Also:
-
getLogicConstant_LogicValue
org.eclipse.emf.ecore.EAttribute getLogicConstant_LogicValue()Returns the meta object for the attribute 'Logic Value
'.- Returns:
- the meta object for the attribute 'Logic Value'.
- See Also:
-
getImportStatement
org.eclipse.emf.ecore.EClass getImportStatement()Returns the meta object for class 'Import Statement
'.- Returns:
- the meta object for class 'Import Statement'.
- See Also:
-
getImportStatement_ImportedModule
org.eclipse.emf.ecore.EReference getImportStatement_ImportedModule()Returns the meta object for the reference 'Imported Module
'.- Returns:
- the meta object for the reference 'Imported Module'.
- See Also:
-
getImportStatement_Alias
org.eclipse.emf.ecore.EAttribute getImportStatement_Alias()Returns the meta object for the attribute 'Alias
'.- Returns:
- the meta object for the attribute 'Alias'.
- See Also:
-
getDatatypeDeclaration
org.eclipse.emf.ecore.EClass getDatatypeDeclaration()Returns the meta object for class 'Datatype Declaration
'.- Returns:
- the meta object for class 'Datatype Declaration'.
- See Also:
-
getLatticeBinaryExpr
org.eclipse.emf.ecore.EClass getLatticeBinaryExpr()Returns the meta object for class 'Lattice Binary Expr
'.- Returns:
- the meta object for class 'Lattice Binary Expr'.
- See Also:
-
getLatticeBinaryExpr_Op
org.eclipse.emf.ecore.EAttribute getLatticeBinaryExpr_Op()Returns the meta object for the attribute 'Op
'.- Returns:
- the meta object for the attribute 'Op'.
- See Also:
-
getCastExpr
org.eclipse.emf.ecore.EClass getCastExpr()Returns the meta object for class 'Cast Expr
'.- Returns:
- the meta object for class 'Cast Expr'.
- See Also:
-
getCastExpr_Body
org.eclipse.emf.ecore.EReference getCastExpr_Body()Returns the meta object for the containment reference 'Body
'.- Returns:
- the meta object for the containment reference 'Body'.
- See Also:
-
getCastExpr_TargetType
org.eclipse.emf.ecore.EReference getCastExpr_TargetType()Returns the meta object for the reference 'Target Type
'.- Returns:
- the meta object for the reference 'Target Type'.
- See Also:
-
getAssignmentExpr
org.eclipse.emf.ecore.EClass getAssignmentExpr()Returns the meta object for class 'Assignment Expr
'.- Returns:
- the meta object for class 'Assignment Expr'.
- See Also:
-
getInfiniteConstant
org.eclipse.emf.ecore.EClass getInfiniteConstant()Returns the meta object for class 'Infinite Constant
'.- Returns:
- the meta object for class 'Infinite Constant'.
- See Also:
-
getAggregatorDeclaration
org.eclipse.emf.ecore.EClass getAggregatorDeclaration()Returns the meta object for class 'Aggregator Declaration
'.- Returns:
- the meta object for class 'Aggregator Declaration'.
- See Also:
-
getModalExpr
org.eclipse.emf.ecore.EClass getModalExpr()Returns the meta object for class 'Modal Expr
'.- Returns:
- the meta object for class 'Modal Expr'.
- See Also:
-
getModalExpr_Concreteness
org.eclipse.emf.ecore.EAttribute getModalExpr_Concreteness()Returns the meta object for the attribute 'Concreteness
'.- Returns:
- the meta object for the attribute 'Concreteness'.
- See Also:
-
getModalExpr_Modality
org.eclipse.emf.ecore.EAttribute getModalExpr_Modality()Returns the meta object for the attribute 'Modality
'.- Returns:
- the meta object for the attribute 'Modality'.
- See Also:
-
getAssertion
org.eclipse.emf.ecore.EClass getAssertion()Returns the meta object for class 'Assertion
'.- Returns:
- the meta object for class 'Assertion'.
- See Also:
-
getAssertion_Default
org.eclipse.emf.ecore.EAttribute getAssertion_Default()Returns the meta object for the attribute 'Default
'.- Returns:
- the meta object for the attribute 'Default'.
- See Also:
-
getLogicValue
org.eclipse.emf.ecore.EEnum getLogicValue()Returns the meta object for enum 'Logic Value
'.- Returns:
- the meta object for enum 'Logic Value'.
- See Also:
-
getComparisonOp
org.eclipse.emf.ecore.EEnum getComparisonOp()Returns the meta object for enum 'Comparison Op
'.- Returns:
- the meta object for enum 'Comparison Op'.
- See Also:
-
getReferenceKind
org.eclipse.emf.ecore.EEnum getReferenceKind()Returns the meta object for enum 'Reference Kind
'.- Returns:
- the meta object for enum 'Reference Kind'.
- See Also:
-
getUnaryOp
org.eclipse.emf.ecore.EEnum getUnaryOp()Returns the meta object for enum 'Unary Op
'.- Returns:
- the meta object for enum 'Unary Op'.
- See Also:
-
getBinaryOp
org.eclipse.emf.ecore.EEnum getBinaryOp()Returns the meta object for enum 'Binary Op
'.- Returns:
- the meta object for enum 'Binary Op'.
- See Also:
-
getModuleKind
org.eclipse.emf.ecore.EEnum getModuleKind()Returns the meta object for enum 'Module Kind
'.- Returns:
- the meta object for enum 'Module Kind'.
- See Also:
-
getNodeKind
org.eclipse.emf.ecore.EEnum getNodeKind()Returns the meta object for enum 'Node Kind
'.- Returns:
- the meta object for enum 'Node Kind'.
- See Also:
-
getLatticeBinaryOp
org.eclipse.emf.ecore.EEnum getLatticeBinaryOp()Returns the meta object for enum 'Lattice Binary Op
'.- Returns:
- the meta object for enum 'Lattice Binary Op'.
- See Also:
-
getModality
org.eclipse.emf.ecore.EEnum getModality()Returns the meta object for enum 'Modality
'.- Returns:
- the meta object for enum 'Modality'.
- See Also:
-
getConcreteness
org.eclipse.emf.ecore.EEnum getConcreteness()Returns the meta object for enum 'Concreteness
'.- Returns:
- the meta object for enum 'Concreteness'.
- See Also:
-
getRuleKind
org.eclipse.emf.ecore.EEnum getRuleKind()Returns the meta object for enum 'Rule Kind
'.- Returns:
- the meta object for enum 'Rule Kind'.
- See Also:
-
getParameterBinding
org.eclipse.emf.ecore.EEnum getParameterBinding()Returns the meta object for enum 'Parameter Binding
'.- Returns:
- the meta object for enum 'Parameter Binding'.
- See Also:
-
getPredicateKind
org.eclipse.emf.ecore.EEnum getPredicateKind()Returns the meta object for enum 'Predicate Kind
'.- Returns:
- the meta object for enum 'Predicate Kind'.
- See Also:
-
getProblemFactory
ProblemFactory getProblemFactory()Returns the factory that creates the instances of the model.- Returns:
- the factory that creates the instances of the model.
-