Package tools.refinery.language.model.problem

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:

• ProblemFactory

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	ProblemPackage.Literals	Defines literals for the meta objects that represent each class, each feature of each class, each operation of each class, each enum, and each data type

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EPackage

org.eclipse.emf.ecore.EPackage.Descriptor, org.eclipse.emf.ecore.EPackage.Registry

Field Summary

Fields

Modifier and Type	Field	Description
static final int	ABSTRACT_ASSERTION	The meta object id for the 'Abstract Assertion' class.
static final int	ABSTRACT_ASSERTION__ARGUMENTS	The feature id for the 'Arguments' containment reference list.
static final int	ABSTRACT_ASSERTION__RELATION	The feature id for the 'Relation' reference.
static final int	ABSTRACT_ASSERTION__VALUE	The feature id for the 'Value' containment reference.
static final int	ABSTRACT_ASSERTION_FEATURE_COUNT	The number of structural features of the 'Abstract Assertion' class.
static final int	ABSTRACT_ASSERTION_OPERATION_COUNT	The number of operations of the 'Abstract Assertion' class.
static final int	ACTION	The meta object id for the 'Action' class.
static final int	ACTION_FEATURE_COUNT	The number of structural features of the 'Action' class.
static final int	ACTION_OPERATION_COUNT	The number of operations of the 'Action' class.
static final int	AGGREGATION_EXPR	The meta object id for the 'Aggregation Expr' class.
static final int	AGGREGATION_EXPR__AGGREGATOR	The feature id for the 'Aggregator' reference.
static final int	AGGREGATION_EXPR__CONDITION	The feature id for the 'Condition' containment reference.
static final int	AGGREGATION_EXPR__IMPLICIT_VARIABLES	The feature id for the 'Implicit Variables' containment reference list.
static final int	AGGREGATION_EXPR__VALUE	The feature id for the 'Value' containment reference.
static final int	AGGREGATION_EXPR_FEATURE_COUNT	The number of structural features of the 'Aggregation Expr' class.
static final int	AGGREGATION_EXPR_OPERATION_COUNT	The number of operations of the 'Aggregation Expr' class.
static final int	AGGREGATOR_DECLARATION	The meta object id for the 'Aggregator Declaration' class.
static final int	AGGREGATOR_DECLARATION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	AGGREGATOR_DECLARATION__NAME	The feature id for the 'Name' attribute.
static final int	AGGREGATOR_DECLARATION_FEATURE_COUNT	The number of structural features of the 'Aggregator Declaration' class.
static final int	AGGREGATOR_DECLARATION_OPERATION_COUNT	The number of operations of the 'Aggregator Declaration' class.
static final int	ANNOTATED_ELEMENT	The meta object id for the 'Annotated Element' class.
static final int	ANNOTATED_ELEMENT__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	ANNOTATED_ELEMENT_FEATURE_COUNT	The number of structural features of the 'Annotated Element' class.
static final int	ANNOTATED_ELEMENT_OPERATION_COUNT	The number of operations of the 'Annotated Element' class.
static final int	ANNOTATION	The meta object id for the 'Annotation' class.
static final int	ANNOTATION__ARGUMENTS	The feature id for the 'Arguments' containment reference list.
static final int	ANNOTATION__DECLARATION	The feature id for the 'Declaration' reference.
static final int	ANNOTATION_ARGUMENT	The meta object id for the 'Annotation Argument' class.
static final int	ANNOTATION_ARGUMENT__PARAMETER	The feature id for the 'Parameter' reference.
static final int	ANNOTATION_ARGUMENT__VALUE	The feature id for the 'Value' containment reference.
static final int	ANNOTATION_ARGUMENT_FEATURE_COUNT	The number of structural features of the 'Annotation Argument' class.
static final int	ANNOTATION_ARGUMENT_OPERATION_COUNT	The number of operations of the 'Annotation Argument' class.
static final int	ANNOTATION_CONTAINER	The meta object id for the 'Annotation Container' class.
static final int	ANNOTATION_CONTAINER__ANNOTATIONS	The feature id for the 'Annotations' containment reference list.
static final int	ANNOTATION_CONTAINER_FEATURE_COUNT	The number of structural features of the 'Annotation Container' class.
static final int	ANNOTATION_CONTAINER_OPERATION_COUNT	The number of operations of the 'Annotation Container' class.
static final int	ANNOTATION_DECLARATION	The meta object id for the 'Annotation Declaration' class.
static final int	ANNOTATION_DECLARATION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	ANNOTATION_DECLARATION__NAME	The feature id for the 'Name' attribute.
static final int	ANNOTATION_DECLARATION__PARAMETERS	The feature id for the 'Parameters' containment reference list.
static final int	ANNOTATION_DECLARATION_FEATURE_COUNT	The number of structural features of the 'Annotation Declaration' class.
static final int	ANNOTATION_DECLARATION_OPERATION_COUNT	The number of operations of the 'Annotation Declaration' class.
static final int	ANNOTATION_FEATURE_COUNT	The number of structural features of the 'Annotation' class.
static final int	ANNOTATION_OPERATION_COUNT	The number of operations of the 'Annotation' class.
static final int	ARITHMETIC_BINARY_EXPR	The meta object id for the 'Arithmetic Binary Expr' class.
static final int	ARITHMETIC_BINARY_EXPR__LEFT	The feature id for the 'Left' containment reference.
static final int	ARITHMETIC_BINARY_EXPR__OP	The feature id for the 'Op' attribute.
static final int	ARITHMETIC_BINARY_EXPR__RIGHT	The feature id for the 'Right' containment reference.
static final int	ARITHMETIC_BINARY_EXPR_FEATURE_COUNT	The number of structural features of the 'Arithmetic Binary Expr' class.
static final int	ARITHMETIC_BINARY_EXPR_OPERATION_COUNT	The number of operations of the 'Arithmetic Binary Expr' class.
static final int	ARITHMETIC_UNARY_EXPR	The meta object id for the 'Arithmetic Unary Expr' class.
static final int	ARITHMETIC_UNARY_EXPR__BODY	The feature id for the 'Body' containment reference.
static final int	ARITHMETIC_UNARY_EXPR__OP	The feature id for the 'Op' attribute.
static final int	ARITHMETIC_UNARY_EXPR_FEATURE_COUNT	The number of structural features of the 'Arithmetic Unary Expr' class.
static final int	ARITHMETIC_UNARY_EXPR_OPERATION_COUNT	The number of operations of the 'Arithmetic Unary Expr' class.
static final int	ASSERTION	The meta object id for the 'Assertion' class.
static final int	ASSERTION__ARGUMENTS	The feature id for the 'Arguments' containment reference list.
static final int	ASSERTION__DEFAULT	The feature id for the 'Default' attribute.
static final int	ASSERTION__RELATION	The feature id for the 'Relation' reference.
static final int	ASSERTION__VALUE	The feature id for the 'Value' containment reference.
static final int	ASSERTION_ACTION	The meta object id for the 'Assertion Action' class.
static final int	ASSERTION_ACTION__ARGUMENTS	The feature id for the 'Arguments' containment reference list.
static final int	ASSERTION_ACTION__RELATION	The feature id for the 'Relation' reference.
static final int	ASSERTION_ACTION__VALUE	The feature id for the 'Value' containment reference.
static final int	ASSERTION_ACTION_FEATURE_COUNT	The number of structural features of the 'Assertion Action' class.
static final int	ASSERTION_ACTION_OPERATION_COUNT	The number of operations of the 'Assertion Action' class.
static final int	ASSERTION_ARGUMENT	The meta object id for the 'Assertion Argument' class.
static final int	ASSERTION_ARGUMENT_FEATURE_COUNT	The number of structural features of the 'Assertion Argument' class.
static final int	ASSERTION_ARGUMENT_OPERATION_COUNT	The number of operations of the 'Assertion Argument' class.
static final int	ASSERTION_FEATURE_COUNT	The number of structural features of the 'Assertion' class.
static final int	ASSERTION_OPERATION_COUNT	The number of operations of the 'Assertion' class.
static final int	ASSIGNMENT_EXPR	The meta object id for the 'Assignment Expr' class.
static final int	ASSIGNMENT_EXPR__LEFT	The feature id for the 'Left' containment reference.
static final int	ASSIGNMENT_EXPR__RIGHT	The feature id for the 'Right' containment reference.
static final int	ASSIGNMENT_EXPR_FEATURE_COUNT	The number of structural features of the 'Assignment Expr' class.
static final int	ASSIGNMENT_EXPR_OPERATION_COUNT	The number of operations of the 'Assignment Expr' class.
static final int	ATOM	The meta object id for the 'Atom' class.
static final int	ATOM__ARGUMENTS	The feature id for the 'Arguments' containment reference list.
static final int	ATOM__RELATION	The feature id for the 'Relation' reference.
static final int	ATOM__TRANSITIVE_CLOSURE	The feature id for the 'Transitive Closure' attribute.
static final int	ATOM_FEATURE_COUNT	The number of structural features of the 'Atom' class.
static final int	ATOM_OPERATION_COUNT	The number of operations of the 'Atom' class.
static final int	BINARY_EXPR	The meta object id for the 'Binary Expr' class.
static final int	BINARY_EXPR__LEFT	The feature id for the 'Left' containment reference.
static final int	BINARY_EXPR__RIGHT	The feature id for the 'Right' containment reference.
static final int	BINARY_EXPR_FEATURE_COUNT	The number of structural features of the 'Binary Expr' class.
static final int	BINARY_EXPR_OPERATION_COUNT	The number of operations of the 'Binary Expr' class.
static final int	BINARY_OP	The meta object id for the 'Binary Op' enum.
static final int	CASE	The meta object id for the 'Case' class.
static final int	CASE_FEATURE_COUNT	The number of structural features of the 'Case' class.
static final int	CASE_OPERATION_COUNT	The number of operations of the 'Case' class.
static final int	CAST_EXPR	The meta object id for the 'Cast Expr' class.
static final int	CAST_EXPR__BODY	The feature id for the 'Body' containment reference.
static final int	CAST_EXPR__TARGET_TYPE	The feature id for the 'Target Type' reference.
static final int	CAST_EXPR_FEATURE_COUNT	The number of structural features of the 'Cast Expr' class.
static final int	CAST_EXPR_OPERATION_COUNT	The number of operations of the 'Cast Expr' class.
static final int	CLASS_DECLARATION	The meta object id for the 'Class Declaration' class.
static final int	CLASS_DECLARATION__ABSTRACT	The feature id for the 'Abstract' attribute.
static final int	CLASS_DECLARATION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	CLASS_DECLARATION__FEATURE_DECLARATIONS	The feature id for the 'Feature Declarations' containment reference list.
static final int	CLASS_DECLARATION__NAME	The feature id for the 'Name' attribute.
static final int	CLASS_DECLARATION__NEW_NODE	The feature id for the 'New Node' containment reference.
static final int	CLASS_DECLARATION__SUPER_TYPES	The feature id for the 'Super Types' reference list.
static final int	CLASS_DECLARATION_FEATURE_COUNT	The number of structural features of the 'Class Declaration' class.
static final int	CLASS_DECLARATION_OPERATION_COUNT	The number of operations of the 'Class Declaration' class.
static final int	COMPARISON_EXPR	The meta object id for the 'Comparison Expr' class.
static final int	COMPARISON_EXPR__LEFT	The feature id for the 'Left' containment reference.
static final int	COMPARISON_EXPR__OP	The feature id for the 'Op' attribute.
static final int	COMPARISON_EXPR__RIGHT	The feature id for the 'Right' containment reference.
static final int	COMPARISON_EXPR_FEATURE_COUNT	The number of structural features of the 'Comparison Expr' class.
static final int	COMPARISON_EXPR_OPERATION_COUNT	The number of operations of the 'Comparison Expr' class.
static final int	COMPARISON_OP	The meta object id for the 'Comparison Op' enum.
static final int	CONCRETENESS	The meta object id for the 'Concreteness' enum.
static final int	CONJUNCTION	The meta object id for the 'Conjunction' class.
static final int	CONJUNCTION__IMPLICIT_VARIABLES	The feature id for the 'Implicit Variables' containment reference list.
static final int	CONJUNCTION__LITERALS	The feature id for the 'Literals' containment reference list.
static final int	CONJUNCTION_FEATURE_COUNT	The number of structural features of the 'Conjunction' class.
static final int	CONJUNCTION_OPERATION_COUNT	The number of operations of the 'Conjunction' class.
static final int	CONSEQUENT	The meta object id for the 'Consequent' class.
static final int	CONSEQUENT__ACTIONS	The feature id for the 'Actions' containment reference list.
static final int	CONSEQUENT_FEATURE_COUNT	The number of structural features of the 'Consequent' class.
static final int	CONSEQUENT_OPERATION_COUNT	The number of operations of the 'Consequent' class.
static final int	CONSTANT	The meta object id for the 'Constant' class.
static final int	CONSTANT_FEATURE_COUNT	The number of structural features of the 'Constant' class.
static final int	CONSTANT_OPERATION_COUNT	The number of operations of the 'Constant' class.
static final int	COUNT_EXPR	The meta object id for the 'Count Expr' class.
static final int	COUNT_EXPR__BODY	The feature id for the 'Body' containment reference.
static final int	COUNT_EXPR__IMPLICIT_VARIABLES	The feature id for the 'Implicit Variables' containment reference list.
static final int	COUNT_EXPR_FEATURE_COUNT	The number of structural features of the 'Count Expr' class.
static final int	COUNT_EXPR_OPERATION_COUNT	The number of operations of the 'Count Expr' class.
static final int	DATATYPE_DECLARATION	The meta object id for the 'Datatype Declaration' class.
static final int	DATATYPE_DECLARATION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	DATATYPE_DECLARATION__NAME	The feature id for the 'Name' attribute.
static final int	DATATYPE_DECLARATION_FEATURE_COUNT	The number of structural features of the 'Datatype Declaration' class.
static final int	DATATYPE_DECLARATION_OPERATION_COUNT	The number of operations of the 'Datatype Declaration' class.
static final ProblemPackage	eINSTANCE	The singleton instance of the package.
static final String	eNAME	The package name.
static final String	eNS_PREFIX	The package namespace name.
static final String	eNS_URI	The package namespace URI.
static final int	ENUM_DECLARATION	The meta object id for the 'Enum Declaration' class.
static final int	ENUM_DECLARATION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	ENUM_DECLARATION__LITERALS	The feature id for the 'Literals' containment reference list.
static final int	ENUM_DECLARATION__NAME	The feature id for the 'Name' attribute.
static final int	ENUM_DECLARATION_FEATURE_COUNT	The number of structural features of the 'Enum Declaration' class.
static final int	ENUM_DECLARATION_OPERATION_COUNT	The number of operations of the 'Enum Declaration' class.
static final int	EXACT_MULTIPLICITY	The meta object id for the 'Exact Multiplicity' class.
static final int	EXACT_MULTIPLICITY__EXACT_VALUE	The feature id for the 'Exact Value' attribute.
static final int	EXACT_MULTIPLICITY_FEATURE_COUNT	The number of structural features of the 'Exact Multiplicity' class.
static final int	EXACT_MULTIPLICITY_OPERATION_COUNT	The number of operations of the 'Exact Multiplicity' class.
static final int	EXISTENTIAL_QUANTIFIER	The meta object id for the 'Existential Quantifier' class.
static final int	EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES	The feature id for the 'Implicit Variables' containment reference list.
static final int	EXISTENTIAL_QUANTIFIER_FEATURE_COUNT	The number of structural features of the 'Existential Quantifier' class.
static final int	EXISTENTIAL_QUANTIFIER_OPERATION_COUNT	The number of operations of the 'Existential Quantifier' class.
static final int	EXPR	The meta object id for the 'Expr' class.
static final int	EXPR_FEATURE_COUNT	The number of structural features of the 'Expr' class.
static final int	EXPR_OPERATION_COUNT	The number of operations of the 'Expr' class.
static final int	FUNCTION_DEFINITION	The meta object id for the 'Function Definition' class.
static final int	FUNCTION_DEFINITION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	FUNCTION_DEFINITION__CASES	The feature id for the 'Cases' containment reference list.
static final int	FUNCTION_DEFINITION__FUNCTION_TYPE	The feature id for the 'Function Type' reference.
static final int	FUNCTION_DEFINITION__NAME	The feature id for the 'Name' attribute.
static final int	FUNCTION_DEFINITION__PARAMETERS	The feature id for the 'Parameters' containment reference list.
static final int	FUNCTION_DEFINITION_FEATURE_COUNT	The number of structural features of the 'Function Definition' class.
static final int	FUNCTION_DEFINITION_OPERATION_COUNT	The number of operations of the 'Function Definition' class.
static final int	IMPLICIT_VARIABLE	The meta object id for the 'Implicit Variable' class.
static final int	IMPLICIT_VARIABLE__NAME	The feature id for the 'Name' attribute.
static final int	IMPLICIT_VARIABLE_FEATURE_COUNT	The number of structural features of the 'Implicit Variable' class.
static final int	IMPLICIT_VARIABLE_OPERATION_COUNT	The number of operations of the 'Implicit Variable' class.
static final int	IMPORT_STATEMENT	The meta object id for the 'Import Statement' class.
static final int	IMPORT_STATEMENT__ALIAS	The feature id for the 'Alias' attribute.
static final int	IMPORT_STATEMENT__IMPORTED_MODULE	The feature id for the 'Imported Module' reference.
static final int	IMPORT_STATEMENT_FEATURE_COUNT	The number of structural features of the 'Import Statement' class.
static final int	IMPORT_STATEMENT_OPERATION_COUNT	The number of operations of the 'Import Statement' class.
static final int	INFINITE_CONSTANT	The meta object id for the 'Infinite Constant' class.
static final int	INFINITE_CONSTANT_FEATURE_COUNT	The number of structural features of the 'Infinite Constant' class.
static final int	INFINITE_CONSTANT_OPERATION_COUNT	The number of operations of the 'Infinite Constant' class.
static final int	INT_CONSTANT	The meta object id for the 'Int Constant' class.
static final int	INT_CONSTANT__INT_VALUE	The feature id for the 'Int Value' attribute.
static final int	INT_CONSTANT_FEATURE_COUNT	The number of structural features of the 'Int Constant' class.
static final int	INT_CONSTANT_OPERATION_COUNT	The number of operations of the 'Int Constant' class.
static final int	LATTICE_BINARY_EXPR	The meta object id for the 'Lattice Binary Expr' class.
static final int	LATTICE_BINARY_EXPR__LEFT	The feature id for the 'Left' containment reference.
static final int	LATTICE_BINARY_EXPR__OP	The feature id for the 'Op' attribute.
static final int	LATTICE_BINARY_EXPR__RIGHT	The feature id for the 'Right' containment reference.
static final int	LATTICE_BINARY_EXPR_FEATURE_COUNT	The number of structural features of the 'Lattice Binary Expr' class.
static final int	LATTICE_BINARY_EXPR_OPERATION_COUNT	The number of operations of the 'Lattice Binary Expr' class.
static final int	LATTICE_BINARY_OP	The meta object id for the 'Lattice Binary Op' enum.
static final int	LOGIC_CONSTANT	The meta object id for the 'Logic Constant' class.
static final int	LOGIC_CONSTANT__LOGIC_VALUE	The feature id for the 'Logic Value' attribute.
static final int	LOGIC_CONSTANT_FEATURE_COUNT	The number of structural features of the 'Logic Constant' class.
static final int	LOGIC_CONSTANT_OPERATION_COUNT	The number of operations of the 'Logic Constant' class.
static final int	LOGIC_VALUE	The meta object id for the 'Logic Value' enum.
static final int	MATCH	The meta object id for the 'Match' class.
static final int	MATCH__CONDITION	The feature id for the 'Condition' containment reference.
static final int	MATCH__VALUE	The feature id for the 'Value' containment reference.
static final int	MATCH_FEATURE_COUNT	The number of structural features of the 'Match' class.
static final int	MATCH_OPERATION_COUNT	The number of operations of the 'Match' class.
static final int	MODAL_EXPR	The meta object id for the 'Modal Expr' class.
static final int	MODAL_EXPR__BODY	The feature id for the 'Body' containment reference.
static final int	MODAL_EXPR__CONCRETENESS	The feature id for the 'Concreteness' attribute.
static final int	MODAL_EXPR__MODALITY	The feature id for the 'Modality' attribute.
static final int	MODAL_EXPR_FEATURE_COUNT	The number of structural features of the 'Modal Expr' class.
static final int	MODAL_EXPR_OPERATION_COUNT	The number of operations of the 'Modal Expr' class.
static final int	MODALITY	The meta object id for the 'Modality' enum.
static final int	MODULE_KIND	The meta object id for the 'Module Kind' enum.
static final int	MULTIPLICITY	The meta object id for the 'Multiplicity' class.
static final int	MULTIPLICITY_FEATURE_COUNT	The number of structural features of the 'Multiplicity' class.
static final int	MULTIPLICITY_OPERATION_COUNT	The number of operations of the 'Multiplicity' class.
static final int	NAMED_ELEMENT	The meta object id for the 'Named Element' class.
static final int	NAMED_ELEMENT__NAME	The feature id for the 'Name' attribute.
static final int	NAMED_ELEMENT_FEATURE_COUNT	The number of structural features of the 'Named Element' class.
static final int	NAMED_ELEMENT_OPERATION_COUNT	The number of operations of the 'Named Element' class.
static final int	NEGATION_EXPR	The meta object id for the 'Negation Expr' class.
static final int	NEGATION_EXPR__BODY	The feature id for the 'Body' containment reference.
static final int	NEGATION_EXPR__IMPLICIT_VARIABLES	The feature id for the 'Implicit Variables' containment reference list.
static final int	NEGATION_EXPR_FEATURE_COUNT	The number of structural features of the 'Negation Expr' class.
static final int	NEGATION_EXPR_OPERATION_COUNT	The number of operations of the 'Negation Expr' class.
static final int	NODE	The meta object id for the 'Node' class.
static final int	NODE__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	NODE__NAME	The feature id for the 'Name' attribute.
static final int	NODE_ASSERTION_ARGUMENT	The meta object id for the 'Node Assertion Argument' class.
static final int	NODE_ASSERTION_ARGUMENT__NODE	The feature id for the 'Node' reference.
static final int	NODE_ASSERTION_ARGUMENT_FEATURE_COUNT	The number of structural features of the 'Node Assertion Argument' class.
static final int	NODE_ASSERTION_ARGUMENT_OPERATION_COUNT	The number of operations of the 'Node Assertion Argument' class.
static final int	NODE_DECLARATION	The meta object id for the 'Node Declaration' class.
static final int	NODE_DECLARATION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	NODE_DECLARATION__KIND	The feature id for the 'Kind' attribute.
static final int	NODE_DECLARATION__NODES	The feature id for the 'Nodes' containment reference list.
static final int	NODE_DECLARATION_FEATURE_COUNT	The number of structural features of the 'Node Declaration' class.
static final int	NODE_DECLARATION_OPERATION_COUNT	The number of operations of the 'Node Declaration' class.
static final int	NODE_FEATURE_COUNT	The number of structural features of the 'Node' class.
static final int	NODE_KIND	The meta object id for the 'Node Kind' enum.
static final int	NODE_OPERATION_COUNT	The number of operations of the 'Node' class.
static final int	PARAMETER	The meta object id for the 'Parameter' class.
static final int	PARAMETER__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	PARAMETER__KIND	The feature id for the 'Kind' attribute.
static final int	PARAMETER__NAME	The feature id for the 'Name' attribute.
static final int	PARAMETER__PARAMETER_TYPE	The feature id for the 'Parameter Type' reference.
static final int	PARAMETER_FEATURE_COUNT	The number of structural features of the 'Parameter' class.
static final int	PARAMETER_KIND	The meta object id for the 'Parameter Kind' enum.
static final int	PARAMETER_OPERATION_COUNT	The number of operations of the 'Parameter' class.
static final int	PARAMETRIC_DEFINITION	The meta object id for the 'Parametric Definition' class.
static final int	PARAMETRIC_DEFINITION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	PARAMETRIC_DEFINITION__PARAMETERS	The feature id for the 'Parameters' containment reference list.
static final int	PARAMETRIC_DEFINITION_FEATURE_COUNT	The number of structural features of the 'Parametric Definition' class.
static final int	PARAMETRIC_DEFINITION_OPERATION_COUNT	The number of operations of the 'Parametric Definition' class.
static final int	PREDICATE_DEFINITION	The meta object id for the 'Predicate Definition' class.
static final int	PREDICATE_DEFINITION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	PREDICATE_DEFINITION__BODIES	The feature id for the 'Bodies' containment reference list.
static final int	PREDICATE_DEFINITION__COMPUTED_VALUE	The feature id for the 'Computed Value' containment reference.
static final int	PREDICATE_DEFINITION__KIND	The feature id for the 'Kind' attribute.
static final int	PREDICATE_DEFINITION__NAME	The feature id for the 'Name' attribute.
static final int	PREDICATE_DEFINITION__PARAMETERS	The feature id for the 'Parameters' containment reference list.
static final int	PREDICATE_DEFINITION__SUPER_SETS	The feature id for the 'Super Sets' reference list.
static final int	PREDICATE_DEFINITION_FEATURE_COUNT	The number of structural features of the 'Predicate Definition' class.
static final int	PREDICATE_DEFINITION_OPERATION_COUNT	The number of operations of the 'Predicate Definition' class.
static final int	PREDICATE_KIND	The meta object id for the 'Predicate Kind' enum.
static final int	PROBLEM	The meta object id for the 'Problem' class.
static final int	PROBLEM__EXPLICIT_KIND	The feature id for the 'Explicit Kind' attribute.
static final int	PROBLEM__KIND	The feature id for the 'Kind' attribute.
static final int	PROBLEM__NAME	The feature id for the 'Name' attribute.
static final int	PROBLEM__NODES	The feature id for the 'Nodes' containment reference list.
static final int	PROBLEM__STATEMENTS	The feature id for the 'Statements' containment reference list.
static final int	PROBLEM_FEATURE_COUNT	The number of structural features of the 'Problem' class.
static final int	PROBLEM_OPERATION_COUNT	The number of operations of the 'Problem' class.
static final int	QUANTIFIED_UNARY_EXPR	The meta object id for the 'Quantified Unary Expr' class.
static final int	QUANTIFIED_UNARY_EXPR__BODY	The feature id for the 'Body' containment reference.
static final int	QUANTIFIED_UNARY_EXPR__IMPLICIT_VARIABLES	The feature id for the 'Implicit Variables' containment reference list.
static final int	QUANTIFIED_UNARY_EXPR_FEATURE_COUNT	The number of structural features of the 'Quantified Unary Expr' class.
static final int	QUANTIFIED_UNARY_EXPR_OPERATION_COUNT	The number of operations of the 'Quantified Unary Expr' class.
static final int	RANGE_EXPR	The meta object id for the 'Range Expr' class.
static final int	RANGE_EXPR__LEFT	The feature id for the 'Left' containment reference.
static final int	RANGE_EXPR__RIGHT	The feature id for the 'Right' containment reference.
static final int	RANGE_EXPR_FEATURE_COUNT	The number of structural features of the 'Range Expr' class.
static final int	RANGE_EXPR_OPERATION_COUNT	The number of operations of the 'Range Expr' class.
static final int	RANGE_MULTIPLICITY	The meta object id for the 'Range Multiplicity' class.
static final int	RANGE_MULTIPLICITY__LOWER_BOUND	The feature id for the 'Lower Bound' attribute.
static final int	RANGE_MULTIPLICITY__UPPER_BOUND	The feature id for the 'Upper Bound' attribute.
static final int	RANGE_MULTIPLICITY_FEATURE_COUNT	The number of structural features of the 'Range Multiplicity' class.
static final int	RANGE_MULTIPLICITY_OPERATION_COUNT	The number of operations of the 'Range Multiplicity' class.
static final int	REAL_CONSTANT	The meta object id for the 'Real Constant' class.
static final int	REAL_CONSTANT__REAL_VALUE	The feature id for the 'Real Value' attribute.
static final int	REAL_CONSTANT_FEATURE_COUNT	The number of structural features of the 'Real Constant' class.
static final int	REAL_CONSTANT_OPERATION_COUNT	The number of operations of the 'Real Constant' class.
static final int	REFERENCE_DECLARATION	The meta object id for the 'Reference Declaration' class.
static final int	REFERENCE_DECLARATION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	REFERENCE_DECLARATION__INVALID_MULTIPLICITY	The feature id for the 'Invalid Multiplicity' containment reference.
static final int	REFERENCE_DECLARATION__KIND	The feature id for the 'Kind' attribute.
static final int	REFERENCE_DECLARATION__MULTIPLICITY	The feature id for the 'Multiplicity' containment reference.
static final int	REFERENCE_DECLARATION__NAME	The feature id for the 'Name' attribute.
static final int	REFERENCE_DECLARATION__OPPOSITE	The feature id for the 'Opposite' reference.
static final int	REFERENCE_DECLARATION__REFERENCE_TYPE	The feature id for the 'Reference Type' reference.
static final int	REFERENCE_DECLARATION__SUPER_SETS	The feature id for the 'Super Sets' reference list.
static final int	REFERENCE_DECLARATION_FEATURE_COUNT	The number of structural features of the 'Reference Declaration' class.
static final int	REFERENCE_DECLARATION_OPERATION_COUNT	The number of operations of the 'Reference Declaration' class.
static final int	REFERENCE_KIND	The meta object id for the 'Reference Kind' enum.
static final int	RELATION	The meta object id for the 'Relation' class.
static final int	RELATION__NAME	The feature id for the 'Name' attribute.
static final int	RELATION_FEATURE_COUNT	The number of structural features of the 'Relation' class.
static final int	RELATION_OPERATION_COUNT	The number of operations of the 'Relation' class.
static final int	RULE_DEFINITION	The meta object id for the 'Rule Definition' class.
static final int	RULE_DEFINITION__ANNOTATIONS	The feature id for the 'Annotations' containment reference.
static final int	RULE_DEFINITION__CONSEQUENTS	The feature id for the 'Consequents' containment reference list.
static final int	RULE_DEFINITION__KIND	The feature id for the 'Kind' attribute.
static final int	RULE_DEFINITION__NAME	The feature id for the 'Name' attribute.
static final int	RULE_DEFINITION__PARAMETERS	The feature id for the 'Parameters' containment reference list.
static final int	RULE_DEFINITION__PRECONDITIONS	The feature id for the 'Preconditions' containment reference list.
static final int	RULE_DEFINITION_FEATURE_COUNT	The number of structural features of the 'Rule Definition' class.
static final int	RULE_DEFINITION_OPERATION_COUNT	The number of operations of the 'Rule Definition' class.
static final int	RULE_KIND	The meta object id for the 'Rule Kind' enum.
static final int	SCOPE_DECLARATION	The meta object id for the 'Scope Declaration' class.
static final int	SCOPE_DECLARATION__TYPE_SCOPES	The feature id for the 'Type Scopes' containment reference list.
static final int	SCOPE_DECLARATION_FEATURE_COUNT	The number of structural features of the 'Scope Declaration' class.
static final int	SCOPE_DECLARATION_OPERATION_COUNT	The number of operations of the 'Scope Declaration' class.
static final int	STATEMENT	The meta object id for the 'Statement' class.
static final int	STATEMENT_FEATURE_COUNT	The number of structural features of the 'Statement' class.
static final int	STATEMENT_OPERATION_COUNT	The number of operations of the 'Statement' class.
static final int	STRING_CONSTANT	The meta object id for the 'String Constant' class.
static final int	STRING_CONSTANT__STRING_VALUE	The feature id for the 'String Value' attribute.
static final int	STRING_CONSTANT_FEATURE_COUNT	The number of structural features of the 'String Constant' class.
static final int	STRING_CONSTANT_OPERATION_COUNT	The number of operations of the 'String Constant' class.
static final int	TOP_LEVEL_ANNOTATION	The meta object id for the 'Top Level Annotation' class.
static final int	TOP_LEVEL_ANNOTATION__ANNOTATION	The feature id for the 'Annotation' containment reference.
static final int	TOP_LEVEL_ANNOTATION_FEATURE_COUNT	The number of structural features of the 'Top Level Annotation' class.
static final int	TOP_LEVEL_ANNOTATION_OPERATION_COUNT	The number of operations of the 'Top Level Annotation' class.
static final int	TYPE_SCOPE	The meta object id for the 'Type Scope' class.
static final int	TYPE_SCOPE__INCREMENT	The feature id for the 'Increment' attribute.
static final int	TYPE_SCOPE__MULTIPLICITY	The feature id for the 'Multiplicity' containment reference.
static final int	TYPE_SCOPE__TARGET_TYPE	The feature id for the 'Target Type' reference.
static final int	TYPE_SCOPE_FEATURE_COUNT	The number of structural features of the 'Type Scope' class.
static final int	TYPE_SCOPE_OPERATION_COUNT	The number of operations of the 'Type Scope' class.
static final int	UNARY_EXPR	The meta object id for the 'Unary Expr' class.
static final int	UNARY_EXPR__BODY	The feature id for the 'Body' containment reference.
static final int	UNARY_EXPR_FEATURE_COUNT	The number of structural features of the 'Unary Expr' class.
static final int	UNARY_EXPR_OPERATION_COUNT	The number of operations of the 'Unary Expr' class.
static final int	UNARY_OP	The meta object id for the 'Unary Op' enum.
static final int	UNBOUNDED_MULTIPLICITY	The meta object id for the 'Unbounded Multiplicity' class.
static final int	UNBOUNDED_MULTIPLICITY_FEATURE_COUNT	The number of structural features of the 'Unbounded Multiplicity' class.
static final int	UNBOUNDED_MULTIPLICITY_OPERATION_COUNT	The number of operations of the 'Unbounded Multiplicity' class.
static final int	VARIABLE	The meta object id for the 'Variable' class.
static final int	VARIABLE__NAME	The feature id for the 'Name' attribute.
static final int	VARIABLE_FEATURE_COUNT	The number of structural features of the 'Variable' class.
static final int	VARIABLE_OPERATION_COUNT	The number of operations of the 'Variable' class.
static final int	VARIABLE_OR_NODE	The meta object id for the 'Variable Or Node' class.
static final int	VARIABLE_OR_NODE__NAME	The feature id for the 'Name' attribute.
static final int	VARIABLE_OR_NODE_EXPR	The meta object id for the 'Variable Or Node Expr' class.
static final int	VARIABLE_OR_NODE_EXPR__ELEMENT	The feature id for the 'Element' reference.
static final int	VARIABLE_OR_NODE_EXPR__RELATION	The feature id for the 'Relation' reference.
static final int	VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE	The feature id for the 'Singleton Variable' containment reference.
static final int	VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE	The feature id for the 'Variable Or Node' reference.
static final int	VARIABLE_OR_NODE_EXPR_FEATURE_COUNT	The number of structural features of the 'Variable Or Node Expr' class.
static final int	VARIABLE_OR_NODE_EXPR_OPERATION_COUNT	The number of operations of the 'Variable Or Node Expr' class.
static final int	VARIABLE_OR_NODE_FEATURE_COUNT	The number of structural features of the 'Variable Or Node' class.
static final int	VARIABLE_OR_NODE_OPERATION_COUNT	The number of operations of the 'Variable Or Node' class.
static final int	WILDCARD_ASSERTION_ARGUMENT	The meta object id for the 'Wildcard Assertion Argument' class.
static final int	WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNT	The number of structural features of the 'Wildcard Assertion Argument' class.
static final int	WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNT	The number of operations of the 'Wildcard Assertion Argument' class.

Method Summary

Modifier and Type	Method	Description
org.eclipse.emf.ecore.EClass	getAbstractAssertion()	Returns the meta object for class 'Abstract Assertion'.
org.eclipse.emf.ecore.EReference	getAbstractAssertion_Arguments()	Returns the meta object for the containment reference list 'Arguments'.
org.eclipse.emf.ecore.EReference	getAbstractAssertion_Relation()	Returns the meta object for the reference 'Relation'.
org.eclipse.emf.ecore.EReference	getAbstractAssertion_Value()	Returns the meta object for the containment reference 'Value'.
org.eclipse.emf.ecore.EClass	getAction()	Returns the meta object for class 'Action'.
org.eclipse.emf.ecore.EClass	getAggregationExpr()	Returns the meta object for class 'Aggregation Expr'.
org.eclipse.emf.ecore.EReference	getAggregationExpr_Aggregator()	Returns the meta object for the reference 'Aggregator'.
org.eclipse.emf.ecore.EReference	getAggregationExpr_Condition()	Returns the meta object for the containment reference 'Condition'.
org.eclipse.emf.ecore.EReference	getAggregationExpr_Value()	Returns the meta object for the containment reference 'Value'.
org.eclipse.emf.ecore.EClass	getAggregatorDeclaration()	Returns the meta object for class 'Aggregator Declaration'.
org.eclipse.emf.ecore.EClass	getAnnotatedElement()	Returns the meta object for class 'Annotated Element'.
org.eclipse.emf.ecore.EReference	getAnnotatedElement_Annotations()	Returns the meta object for the containment reference 'Annotations'.
org.eclipse.emf.ecore.EClass	getAnnotation()	Returns the meta object for class 'Annotation'.
org.eclipse.emf.ecore.EReference	getAnnotation_Arguments()	Returns the meta object for the containment reference list 'Arguments'.
org.eclipse.emf.ecore.EReference	getAnnotation_Declaration()	Returns the meta object for the reference 'Declaration'.
org.eclipse.emf.ecore.EClass	getAnnotationArgument()	Returns the meta object for class 'Annotation Argument'.
org.eclipse.emf.ecore.EReference	getAnnotationArgument_Parameter()	Returns the meta object for the reference 'Parameter'.
org.eclipse.emf.ecore.EReference	getAnnotationArgument_Value()	Returns the meta object for the containment reference 'Value'.
org.eclipse.emf.ecore.EClass	getAnnotationContainer()	Returns the meta object for class 'Annotation Container'.
org.eclipse.emf.ecore.EReference	getAnnotationContainer_Annotations()	Returns the meta object for the containment reference list 'Annotations'.
org.eclipse.emf.ecore.EClass	getAnnotationDeclaration()	Returns the meta object for class 'Annotation Declaration'.
org.eclipse.emf.ecore.EClass	getArithmeticBinaryExpr()	Returns the meta object for class 'Arithmetic Binary Expr'.
org.eclipse.emf.ecore.EAttribute	getArithmeticBinaryExpr_Op()	Returns the meta object for the attribute 'Op'.
org.eclipse.emf.ecore.EClass	getArithmeticUnaryExpr()	Returns the meta object for class 'Arithmetic Unary Expr'.
org.eclipse.emf.ecore.EAttribute	getArithmeticUnaryExpr_Op()	Returns the meta object for the attribute 'Op'.
org.eclipse.emf.ecore.EClass	getAssertion()	Returns the meta object for class 'Assertion'.
org.eclipse.emf.ecore.EAttribute	getAssertion_Default()	Returns the meta object for the attribute 'Default'.
org.eclipse.emf.ecore.EClass	getAssertionAction()	Returns the meta object for class 'Assertion Action'.
org.eclipse.emf.ecore.EClass	getAssertionArgument()	Returns the meta object for class 'Assertion Argument'.
org.eclipse.emf.ecore.EClass	getAssignmentExpr()	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	getAtom_Arguments()	Returns the meta object for the containment reference list 'Arguments'.
org.eclipse.emf.ecore.EReference	getAtom_Relation()	Returns the meta object for the reference 'Relation'.
org.eclipse.emf.ecore.EAttribute	getAtom_TransitiveClosure()	Returns the meta object for the attribute 'Transitive Closure'.
org.eclipse.emf.ecore.EClass	getBinaryExpr()	Returns the meta object for class 'Binary Expr'.
org.eclipse.emf.ecore.EReference	getBinaryExpr_Left()	Returns the meta object for the containment reference 'Left'.
org.eclipse.emf.ecore.EReference	getBinaryExpr_Right()	Returns the meta object for the containment reference 'Right'.
org.eclipse.emf.ecore.EEnum	getBinaryOp()	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	getCastExpr()	Returns the meta object for class 'Cast Expr'.
org.eclipse.emf.ecore.EReference	getCastExpr_Body()	Returns the meta object for the containment reference 'Body'.
org.eclipse.emf.ecore.EReference	getCastExpr_TargetType()	Returns the meta object for the reference 'Target Type'.
org.eclipse.emf.ecore.EClass	getClassDeclaration()	Returns the meta object for class 'Class Declaration'.
org.eclipse.emf.ecore.EAttribute	getClassDeclaration_Abstract()	Returns the meta object for the attribute 'Abstract'.
org.eclipse.emf.ecore.EReference	getClassDeclaration_FeatureDeclarations()	Returns the meta object for the containment reference list 'Feature Declarations'.
org.eclipse.emf.ecore.EReference	getClassDeclaration_NewNode()	Returns the meta object for the containment reference 'New Node'.
org.eclipse.emf.ecore.EReference	getClassDeclaration_SuperTypes()	Returns the meta object for the reference list 'Super Types'.
org.eclipse.emf.ecore.EClass	getComparisonExpr()	Returns the meta object for class 'Comparison Expr'.
org.eclipse.emf.ecore.EAttribute	getComparisonExpr_Op()	Returns the meta object for the attribute 'Op'.
org.eclipse.emf.ecore.EEnum	getComparisonOp()	Returns the meta object for enum 'Comparison Op'.
org.eclipse.emf.ecore.EEnum	getConcreteness()	Returns the meta object for enum 'Concreteness'.
org.eclipse.emf.ecore.EClass	getConjunction()	Returns the meta object for class 'Conjunction'.
org.eclipse.emf.ecore.EReference	getConjunction_Literals()	Returns the meta object for the containment reference list 'Literals'.
org.eclipse.emf.ecore.EClass	getConsequent()	Returns the meta object for class 'Consequent'.
org.eclipse.emf.ecore.EReference	getConsequent_Actions()	Returns the meta object for the containment reference list 'Actions'.
org.eclipse.emf.ecore.EClass	getConstant()	Returns the meta object for class 'Constant'.
org.eclipse.emf.ecore.EClass	getCountExpr()	Returns the meta object for class 'Count Expr'.
org.eclipse.emf.ecore.EClass	getDatatypeDeclaration()	Returns the meta object for class 'Datatype Declaration'.
org.eclipse.emf.ecore.EClass	getEnumDeclaration()	Returns the meta object for class 'Enum Declaration'.
org.eclipse.emf.ecore.EReference	getEnumDeclaration_Literals()	Returns the meta object for the containment reference list 'Literals'.
org.eclipse.emf.ecore.EClass	getExactMultiplicity()	Returns the meta object for class 'Exact Multiplicity'.
org.eclipse.emf.ecore.EAttribute	getExactMultiplicity_ExactValue()	Returns the meta object for the attribute 'Exact Value'.
org.eclipse.emf.ecore.EClass	getExistentialQuantifier()	Returns the meta object for class 'Existential Quantifier'.
org.eclipse.emf.ecore.EReference	getExistentialQuantifier_ImplicitVariables()	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	getFunctionDefinition()	Returns the meta object for class 'Function Definition'.
org.eclipse.emf.ecore.EReference	getFunctionDefinition_Cases()	Returns the meta object for the containment reference list 'Cases'.
org.eclipse.emf.ecore.EReference	getFunctionDefinition_FunctionType()	Returns the meta object for the reference 'Function Type'.
org.eclipse.emf.ecore.EClass	getImplicitVariable()	Returns the meta object for class 'Implicit Variable'.
org.eclipse.emf.ecore.EClass	getImportStatement()	Returns the meta object for class 'Import Statement'.
org.eclipse.emf.ecore.EAttribute	getImportStatement_Alias()	Returns the meta object for the attribute 'Alias'.
org.eclipse.emf.ecore.EReference	getImportStatement_ImportedModule()	Returns the meta object for the reference 'Imported Module'.
org.eclipse.emf.ecore.EClass	getInfiniteConstant()	Returns the meta object for class 'Infinite Constant'.
org.eclipse.emf.ecore.EClass	getIntConstant()	Returns the meta object for class 'Int Constant'.
org.eclipse.emf.ecore.EAttribute	getIntConstant_IntValue()	Returns the meta object for the attribute 'Int Value'.
org.eclipse.emf.ecore.EClass	getLatticeBinaryExpr()	Returns the meta object for class 'Lattice Binary Expr'.
org.eclipse.emf.ecore.EAttribute	getLatticeBinaryExpr_Op()	Returns the meta object for the attribute 'Op'.
org.eclipse.emf.ecore.EEnum	getLatticeBinaryOp()	Returns the meta object for enum 'Lattice Binary Op'.
org.eclipse.emf.ecore.EClass	getLogicConstant()	Returns the meta object for class 'Logic Constant'.
org.eclipse.emf.ecore.EAttribute	getLogicConstant_LogicValue()	Returns the meta object for the attribute 'Logic Value'.
org.eclipse.emf.ecore.EEnum	getLogicValue()	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	getMatch_Condition()	Returns the meta object for the containment reference 'Condition'.
org.eclipse.emf.ecore.EReference	getMatch_Value()	Returns the meta object for the containment reference 'Value'.
org.eclipse.emf.ecore.EClass	getModalExpr()	Returns the meta object for class 'Modal Expr'.
org.eclipse.emf.ecore.EAttribute	getModalExpr_Concreteness()	Returns the meta object for the attribute 'Concreteness'.
org.eclipse.emf.ecore.EAttribute	getModalExpr_Modality()	Returns the meta object for the attribute 'Modality'.
org.eclipse.emf.ecore.EEnum	getModality()	Returns the meta object for enum 'Modality'.
org.eclipse.emf.ecore.EEnum	getModuleKind()	Returns the meta object for enum 'Module Kind'.
org.eclipse.emf.ecore.EClass	getMultiplicity()	Returns the meta object for class 'Multiplicity'.
org.eclipse.emf.ecore.EClass	getNamedElement()	Returns the meta object for class 'Named Element'.
org.eclipse.emf.ecore.EAttribute	getNamedElement_Name()	Returns the meta object for the attribute 'Name'.
org.eclipse.emf.ecore.EClass	getNegationExpr()	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	getNodeAssertionArgument()	Returns the meta object for class 'Node Assertion Argument'.
org.eclipse.emf.ecore.EReference	getNodeAssertionArgument_Node()	Returns the meta object for the reference 'Node'.
org.eclipse.emf.ecore.EClass	getNodeDeclaration()	Returns the meta object for class 'Node Declaration'.
org.eclipse.emf.ecore.EAttribute	getNodeDeclaration_Kind()	Returns the meta object for the attribute 'Kind'.
org.eclipse.emf.ecore.EReference	getNodeDeclaration_Nodes()	Returns the meta object for the containment reference list 'Nodes'.
org.eclipse.emf.ecore.EEnum	getNodeKind()	Returns the meta object for enum 'Node Kind'.
org.eclipse.emf.ecore.EClass	getParameter()	Returns the meta object for class 'Parameter'.
org.eclipse.emf.ecore.EAttribute	getParameter_Kind()	Returns the meta object for the attribute 'Kind'.
org.eclipse.emf.ecore.EReference	getParameter_ParameterType()	Returns the meta object for the reference 'Parameter Type'.
org.eclipse.emf.ecore.EEnum	getParameterKind()	Returns the meta object for enum 'Parameter Kind'.
org.eclipse.emf.ecore.EClass	getParametricDefinition()	Returns the meta object for class 'Parametric Definition'.
org.eclipse.emf.ecore.EReference	getParametricDefinition_Parameters()	Returns the meta object for the containment reference list 'Parameters'.
org.eclipse.emf.ecore.EClass	getPredicateDefinition()	Returns the meta object for class 'Predicate Definition'.
org.eclipse.emf.ecore.EReference	getPredicateDefinition_Bodies()	Returns the meta object for the containment reference list 'Bodies'.
org.eclipse.emf.ecore.EReference	getPredicateDefinition_ComputedValue()	Returns the meta object for the containment reference 'Computed Value'.
org.eclipse.emf.ecore.EAttribute	getPredicateDefinition_Kind()	Returns the meta object for the attribute 'Kind'.
org.eclipse.emf.ecore.EReference	getPredicateDefinition_SuperSets()	Returns the meta object for the reference list 'Super Sets'.
org.eclipse.emf.ecore.EEnum	getPredicateKind()	Returns the meta object for enum 'Predicate Kind'.
org.eclipse.emf.ecore.EClass	getProblem()	Returns the meta object for class 'Problem'.
org.eclipse.emf.ecore.EAttribute	getProblem_ExplicitKind()	Returns the meta object for the attribute 'Explicit Kind'.
org.eclipse.emf.ecore.EAttribute	getProblem_Kind()	Returns the meta object for the attribute 'Kind'.
org.eclipse.emf.ecore.EReference	getProblem_Nodes()	Returns the meta object for the containment reference list 'Nodes'.
org.eclipse.emf.ecore.EReference	getProblem_Statements()	Returns the meta object for the containment reference list 'Statements'.
ProblemFactory	getProblemFactory()	Returns the factory that creates the instances of the model.
org.eclipse.emf.ecore.EClass	getQuantifiedUnaryExpr()	Returns the meta object for class 'Quantified Unary Expr'.
org.eclipse.emf.ecore.EClass	getRangeExpr()	Returns the meta object for class 'Range Expr'.
org.eclipse.emf.ecore.EClass	getRangeMultiplicity()	Returns the meta object for class 'Range Multiplicity'.
org.eclipse.emf.ecore.EAttribute	getRangeMultiplicity_LowerBound()	Returns the meta object for the attribute 'Lower Bound'.
org.eclipse.emf.ecore.EAttribute	getRangeMultiplicity_UpperBound()	Returns the meta object for the attribute 'Upper Bound'.
org.eclipse.emf.ecore.EClass	getRealConstant()	Returns the meta object for class 'Real Constant'.
org.eclipse.emf.ecore.EAttribute	getRealConstant_RealValue()	Returns the meta object for the attribute 'Real Value'.
org.eclipse.emf.ecore.EClass	getReferenceDeclaration()	Returns the meta object for class 'Reference Declaration'.
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_InvalidMultiplicity()	Returns the meta object for the containment reference 'Invalid Multiplicity'.
org.eclipse.emf.ecore.EAttribute	getReferenceDeclaration_Kind()	Returns the meta object for the attribute 'Kind'.
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_Multiplicity()	Returns the meta object for the containment reference 'Multiplicity'.
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_Opposite()	Returns the meta object for the reference 'Opposite'.
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_ReferenceType()	Returns the meta object for the reference 'Reference Type'.
org.eclipse.emf.ecore.EReference	getReferenceDeclaration_SuperSets()	Returns the meta object for the reference list 'Super Sets'.
org.eclipse.emf.ecore.EEnum	getReferenceKind()	Returns the meta object for enum 'Reference Kind'.
org.eclipse.emf.ecore.EClass	getRelation()	Returns the meta object for class 'Relation'.
org.eclipse.emf.ecore.EClass	getRuleDefinition()	Returns the meta object for class 'Rule Definition'.
org.eclipse.emf.ecore.EReference	getRuleDefinition_Consequents()	Returns the meta object for the containment reference list 'Consequents'.
org.eclipse.emf.ecore.EAttribute	getRuleDefinition_Kind()	Returns the meta object for the attribute 'Kind'.
org.eclipse.emf.ecore.EReference	getRuleDefinition_Preconditions()	Returns the meta object for the containment reference list 'Preconditions'.
org.eclipse.emf.ecore.EEnum	getRuleKind()	Returns the meta object for enum 'Rule Kind'.
org.eclipse.emf.ecore.EClass	getScopeDeclaration()	Returns the meta object for class 'Scope Declaration'.
org.eclipse.emf.ecore.EReference	getScopeDeclaration_TypeScopes()	Returns the meta object for the containment reference list 'Type Scopes'.
org.eclipse.emf.ecore.EClass	getStatement()	Returns the meta object for class 'Statement'.
org.eclipse.emf.ecore.EClass	getStringConstant()	Returns the meta object for class 'String Constant'.
org.eclipse.emf.ecore.EAttribute	getStringConstant_StringValue()	Returns the meta object for the attribute 'String Value'.
org.eclipse.emf.ecore.EClass	getTopLevelAnnotation()	Returns the meta object for class 'Top Level Annotation'.
org.eclipse.emf.ecore.EReference	getTopLevelAnnotation_Annotation()	Returns the meta object for the containment reference 'Annotation'.
org.eclipse.emf.ecore.EClass	getTypeScope()	Returns the meta object for class 'Type Scope'.
org.eclipse.emf.ecore.EAttribute	getTypeScope_Increment()	Returns the meta object for the attribute 'Increment'.
org.eclipse.emf.ecore.EReference	getTypeScope_Multiplicity()	Returns the meta object for the containment reference 'Multiplicity'.
org.eclipse.emf.ecore.EReference	getTypeScope_TargetType()	Returns the meta object for the reference 'Target Type'.
org.eclipse.emf.ecore.EClass	getUnaryExpr()	Returns the meta object for class 'Unary Expr'.
org.eclipse.emf.ecore.EReference	getUnaryExpr_Body()	Returns the meta object for the containment reference 'Body'.
org.eclipse.emf.ecore.EEnum	getUnaryOp()	Returns the meta object for enum 'Unary Op'.
org.eclipse.emf.ecore.EClass	getUnboundedMultiplicity()	Returns the meta object for class 'Unbounded Multiplicity'.
org.eclipse.emf.ecore.EClass	getVariable()	Returns the meta object for class 'Variable'.
org.eclipse.emf.ecore.EClass	getVariableOrNode()	Returns the meta object for class 'Variable Or Node'.
org.eclipse.emf.ecore.EClass	getVariableOrNodeExpr()	Returns the meta object for class 'Variable Or Node Expr'.
org.eclipse.emf.ecore.EReference	getVariableOrNodeExpr_Element()	Returns the meta object for the reference 'Element'.
org.eclipse.emf.ecore.EReference	getVariableOrNodeExpr_Relation()	Returns the meta object for the reference 'Relation'.
org.eclipse.emf.ecore.EReference	getVariableOrNodeExpr_SingletonVariable()	Returns the meta object for the containment reference 'Singleton Variable'.
org.eclipse.emf.ecore.EReference	getVariableOrNodeExpr_VariableOrNode()	Returns the meta object for the reference 'Variable Or Node'.
org.eclipse.emf.ecore.EClass	getWildcardAssertionArgument()	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

static final String eNAME

The package name.

See Also:

• Constant Field Values

eNS_URI

static final String eNS_URI

The package namespace URI.

See Also:

• Constant Field Values

eNS_PREFIX

static final String eNS_PREFIX

The package namespace name.

See Also:

• Constant Field Values

eINSTANCE

static final ProblemPackage eINSTANCE

The singleton instance of the package.

NAMED_ELEMENT

static final int NAMED_ELEMENT

The meta object id for the 'Named Element' class.

See Also:

• NamedElementImpl
• ProblemPackageImpl.getNamedElement()
• Constant Field Values

NAMED_ELEMENT__NAME

static final int NAMED_ELEMENT__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

NAMED_ELEMENT_FEATURE_COUNT

static final int NAMED_ELEMENT_FEATURE_COUNT

The number of structural features of the 'Named Element' class.

See Also:

• Constant Field Values

NAMED_ELEMENT_OPERATION_COUNT

static final int NAMED_ELEMENT_OPERATION_COUNT

The number of operations of the 'Named Element' class.

See Also:

• Constant Field Values

PROBLEM

static final int PROBLEM

The meta object id for the 'Problem' class.

See Also:

• ProblemImpl
• ProblemPackageImpl.getProblem()
• Constant Field Values

PROBLEM__NAME

static final int PROBLEM__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

PROBLEM__NODES

static final int PROBLEM__NODES

The feature id for the 'Nodes' containment reference list.

See Also:

• Constant Field Values

PROBLEM__STATEMENTS

static final int PROBLEM__STATEMENTS

The feature id for the 'Statements' containment reference list.

See Also:

• Constant Field Values

PROBLEM__KIND

static final int PROBLEM__KIND

The feature id for the 'Kind' attribute.

See Also:

• Constant Field Values

PROBLEM__EXPLICIT_KIND

static final int PROBLEM__EXPLICIT_KIND

The feature id for the 'Explicit Kind' attribute.

See Also:

• Constant Field Values

PROBLEM_FEATURE_COUNT

static final int PROBLEM_FEATURE_COUNT

The number of structural features of the 'Problem' class.

See Also:

• Constant Field Values

PROBLEM_OPERATION_COUNT

static final int PROBLEM_OPERATION_COUNT

The number of operations of the 'Problem' class.

See Also:

• Constant Field Values

STATEMENT

static final int STATEMENT

The meta object id for the 'Statement' class.

See Also:

• Statement
• ProblemPackageImpl.getStatement()
• Constant Field Values

STATEMENT_FEATURE_COUNT

static final int STATEMENT_FEATURE_COUNT

The number of structural features of the 'Statement' class.

See Also:

• Constant Field Values

STATEMENT_OPERATION_COUNT

static final int STATEMENT_OPERATION_COUNT

The number of operations of the 'Statement' class.

See Also:

• Constant Field Values

CLASS_DECLARATION

static final int CLASS_DECLARATION

The meta object id for the 'Class Declaration' class.

See Also:

• ClassDeclarationImpl
• ProblemPackageImpl.getClassDeclaration()
• Constant Field Values

CLASS_DECLARATION__NAME

static final int CLASS_DECLARATION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

CLASS_DECLARATION__ANNOTATIONS

static final int CLASS_DECLARATION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

CLASS_DECLARATION__ABSTRACT

static final int CLASS_DECLARATION__ABSTRACT

The feature id for the 'Abstract' attribute.

See Also:

• Constant Field Values

CLASS_DECLARATION__FEATURE_DECLARATIONS

static final int CLASS_DECLARATION__FEATURE_DECLARATIONS

The feature id for the 'Feature Declarations' containment reference list.

See Also:

• Constant Field Values

CLASS_DECLARATION__NEW_NODE

static final int CLASS_DECLARATION__NEW_NODE

The feature id for the 'New Node' containment reference.

See Also:

• Constant Field Values

CLASS_DECLARATION__SUPER_TYPES

static final int CLASS_DECLARATION__SUPER_TYPES

The feature id for the 'Super Types' reference list.

See Also:

• Constant Field Values

CLASS_DECLARATION_FEATURE_COUNT

static final int CLASS_DECLARATION_FEATURE_COUNT

The number of structural features of the 'Class Declaration' class.

See Also:

• Constant Field Values

CLASS_DECLARATION_OPERATION_COUNT

static final int CLASS_DECLARATION_OPERATION_COUNT

The number of operations of the 'Class Declaration' class.

See Also:

• Constant Field Values

RELATION

static final int RELATION

The meta object id for the 'Relation' class.

See Also:

• RelationImpl
• ProblemPackageImpl.getRelation()
• Constant Field Values

RELATION__NAME

static final int RELATION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

RELATION_FEATURE_COUNT

static final int RELATION_FEATURE_COUNT

The number of structural features of the 'Relation' class.

See Also:

• Constant Field Values

RELATION_OPERATION_COUNT

static final int RELATION_OPERATION_COUNT

The number of operations of the 'Relation' class.

See Also:

• Constant Field Values

REFERENCE_DECLARATION

static final int REFERENCE_DECLARATION

The meta object id for the 'Reference Declaration' class.

See Also:

• ReferenceDeclarationImpl
• ProblemPackageImpl.getReferenceDeclaration()
• Constant Field Values

REFERENCE_DECLARATION__NAME

static final int REFERENCE_DECLARATION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

REFERENCE_DECLARATION__ANNOTATIONS

static final int REFERENCE_DECLARATION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

REFERENCE_DECLARATION__OPPOSITE

static final int REFERENCE_DECLARATION__OPPOSITE

The feature id for the 'Opposite' reference.

See Also:

• Constant Field Values

REFERENCE_DECLARATION__MULTIPLICITY

static final int REFERENCE_DECLARATION__MULTIPLICITY

The feature id for the 'Multiplicity' containment reference.

See Also:

• Constant Field Values

REFERENCE_DECLARATION__KIND

static final int REFERENCE_DECLARATION__KIND

The feature id for the 'Kind' attribute.

See Also:

• Constant Field Values

REFERENCE_DECLARATION__REFERENCE_TYPE

static final int REFERENCE_DECLARATION__REFERENCE_TYPE

The feature id for the 'Reference Type' reference.

See Also:

• Constant Field Values

REFERENCE_DECLARATION__INVALID_MULTIPLICITY

static final int REFERENCE_DECLARATION__INVALID_MULTIPLICITY

The feature id for the 'Invalid Multiplicity' containment reference.

See Also:

• Constant Field Values

REFERENCE_DECLARATION__SUPER_SETS

static final int REFERENCE_DECLARATION__SUPER_SETS

The feature id for the 'Super Sets' reference list.

See Also:

• Constant Field Values

REFERENCE_DECLARATION_FEATURE_COUNT

static final int REFERENCE_DECLARATION_FEATURE_COUNT

The number of structural features of the 'Reference Declaration' class.

See Also:

• Constant Field Values

REFERENCE_DECLARATION_OPERATION_COUNT

static final int REFERENCE_DECLARATION_OPERATION_COUNT

The number of operations of the 'Reference Declaration' class.

See Also:

• Constant Field Values

PARAMETRIC_DEFINITION

static final int PARAMETRIC_DEFINITION

The meta object id for the 'Parametric Definition' class.

See Also:

• ParametricDefinition
• ProblemPackageImpl.getParametricDefinition()
• Constant Field Values

PARAMETRIC_DEFINITION__ANNOTATIONS

static final int PARAMETRIC_DEFINITION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

PARAMETRIC_DEFINITION__PARAMETERS

static final int PARAMETRIC_DEFINITION__PARAMETERS

The feature id for the 'Parameters' containment reference list.

See Also:

• Constant Field Values

PARAMETRIC_DEFINITION_FEATURE_COUNT

static final int PARAMETRIC_DEFINITION_FEATURE_COUNT

The number of structural features of the 'Parametric Definition' class.

See Also:

• Constant Field Values

PARAMETRIC_DEFINITION_OPERATION_COUNT

static final int PARAMETRIC_DEFINITION_OPERATION_COUNT

The number of operations of the 'Parametric Definition' class.

See Also:

• Constant Field Values

PREDICATE_DEFINITION

static final int PREDICATE_DEFINITION

The meta object id for the 'Predicate Definition' class.

See Also:

• PredicateDefinitionImpl
• ProblemPackageImpl.getPredicateDefinition()
• Constant Field Values

PREDICATE_DEFINITION__ANNOTATIONS

static final int PREDICATE_DEFINITION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

PREDICATE_DEFINITION__PARAMETERS

static final int PREDICATE_DEFINITION__PARAMETERS

The feature id for the 'Parameters' containment reference list.

See Also:

• Constant Field Values

PREDICATE_DEFINITION__NAME

static final int PREDICATE_DEFINITION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

PREDICATE_DEFINITION__BODIES

static final int PREDICATE_DEFINITION__BODIES

The feature id for the 'Bodies' containment reference list.

See Also:

• Constant Field Values

PREDICATE_DEFINITION__KIND

static final int PREDICATE_DEFINITION__KIND

The feature id for the 'Kind' attribute.

See Also:

• Constant Field Values

PREDICATE_DEFINITION__COMPUTED_VALUE

static final int PREDICATE_DEFINITION__COMPUTED_VALUE

The feature id for the 'Computed Value' containment reference.

See Also:

• Constant Field Values

PREDICATE_DEFINITION__SUPER_SETS

static final int PREDICATE_DEFINITION__SUPER_SETS

The feature id for the 'Super Sets' reference list.

See Also:

• Constant Field Values

PREDICATE_DEFINITION_FEATURE_COUNT

static final int PREDICATE_DEFINITION_FEATURE_COUNT

The number of structural features of the 'Predicate Definition' class.

See Also:

• Constant Field Values

PREDICATE_DEFINITION_OPERATION_COUNT

static final int PREDICATE_DEFINITION_OPERATION_COUNT

The number of operations of the 'Predicate Definition' class.

See Also:

• Constant Field Values

VARIABLE_OR_NODE

static final int VARIABLE_OR_NODE

The meta object id for the 'Variable Or Node' class.

See Also:

• VariableOrNodeImpl
• ProblemPackageImpl.getVariableOrNode()
• Constant Field Values

VARIABLE_OR_NODE__NAME

static final int VARIABLE_OR_NODE__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

VARIABLE_OR_NODE_FEATURE_COUNT

static final int VARIABLE_OR_NODE_FEATURE_COUNT

The number of structural features of the 'Variable Or Node' class.

See Also:

• Constant Field Values

VARIABLE_OR_NODE_OPERATION_COUNT

static final int VARIABLE_OR_NODE_OPERATION_COUNT

The number of operations of the 'Variable Or Node' class.

See Also:

• Constant Field Values

VARIABLE

static final int VARIABLE

The meta object id for the 'Variable' class.

See Also:

• VariableImpl
• ProblemPackageImpl.getVariable()
• Constant Field Values

VARIABLE__NAME

static final int VARIABLE__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

VARIABLE_FEATURE_COUNT

static final int VARIABLE_FEATURE_COUNT

The number of structural features of the 'Variable' class.

See Also:

• Constant Field Values

VARIABLE_OPERATION_COUNT

static final int VARIABLE_OPERATION_COUNT

The number of operations of the 'Variable' class.

See Also:

• Constant Field Values

PARAMETER

static final int PARAMETER

The meta object id for the 'Parameter' class.

See Also:

• ParameterImpl
• ProblemPackageImpl.getParameter()
• Constant Field Values

PARAMETER__NAME

static final int PARAMETER__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

PARAMETER__ANNOTATIONS

static final int PARAMETER__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

PARAMETER__PARAMETER_TYPE

static final int PARAMETER__PARAMETER_TYPE

The feature id for the 'Parameter Type' reference.

See Also:

• Constant Field Values

PARAMETER__KIND

static final int PARAMETER__KIND

The feature id for the 'Kind' attribute.

See Also:

• Constant Field Values

PARAMETER_FEATURE_COUNT

static final int PARAMETER_FEATURE_COUNT

The number of structural features of the 'Parameter' class.

See Also:

• Constant Field Values

PARAMETER_OPERATION_COUNT

static final int PARAMETER_OPERATION_COUNT

The number of operations of the 'Parameter' class.

See Also:

• Constant Field Values

EXPR

static final int EXPR

The meta object id for the 'Expr' class.

See Also:

• ExprImpl
• ProblemPackageImpl.getExpr()
• Constant Field Values

EXPR_FEATURE_COUNT

static final int EXPR_FEATURE_COUNT

The number of structural features of the 'Expr' class.

See Also:

• Constant Field Values

EXPR_OPERATION_COUNT

static final int EXPR_OPERATION_COUNT

The number of operations of the 'Expr' class.

See Also:

• Constant Field Values

ATOM

static final int ATOM

The meta object id for the 'Atom' class.

See Also:

• AtomImpl
• ProblemPackageImpl.getAtom()
• Constant Field Values

ATOM__TRANSITIVE_CLOSURE

static final int ATOM__TRANSITIVE_CLOSURE

The feature id for the 'Transitive Closure' attribute.

See Also:

• Constant Field Values

ATOM__ARGUMENTS

static final int ATOM__ARGUMENTS

The feature id for the 'Arguments' containment reference list.

See Also:

• Constant Field Values

ATOM__RELATION

static final int ATOM__RELATION

The feature id for the 'Relation' reference.

See Also:

• Constant Field Values

ATOM_FEATURE_COUNT

static final int ATOM_FEATURE_COUNT

The number of structural features of the 'Atom' class.

See Also:

• Constant Field Values

ATOM_OPERATION_COUNT

static final int ATOM_OPERATION_COUNT

The number of operations of the 'Atom' class.

See Also:

• Constant Field Values

IMPLICIT_VARIABLE

static final int IMPLICIT_VARIABLE

The meta object id for the 'Implicit Variable' class.

See Also:

• ImplicitVariableImpl
• ProblemPackageImpl.getImplicitVariable()
• Constant Field Values

IMPLICIT_VARIABLE__NAME

static final int IMPLICIT_VARIABLE__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

IMPLICIT_VARIABLE_FEATURE_COUNT

static final int IMPLICIT_VARIABLE_FEATURE_COUNT

The number of structural features of the 'Implicit Variable' class.

See Also:

• Constant Field Values

IMPLICIT_VARIABLE_OPERATION_COUNT

static final int IMPLICIT_VARIABLE_OPERATION_COUNT

The number of operations of the 'Implicit Variable' class.

See Also:

• Constant Field Values

EXISTENTIAL_QUANTIFIER

static final int EXISTENTIAL_QUANTIFIER

The meta object id for the 'Existential Quantifier' class.

See Also:

• ExistentialQuantifier
• ProblemPackageImpl.getExistentialQuantifier()
• Constant Field Values

EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES

static final int EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES

The feature id for the 'Implicit Variables' containment reference list.

See Also:

• Constant Field Values

EXISTENTIAL_QUANTIFIER_FEATURE_COUNT

static final int EXISTENTIAL_QUANTIFIER_FEATURE_COUNT

The number of structural features of the 'Existential Quantifier' class.

See Also:

• Constant Field Values

EXISTENTIAL_QUANTIFIER_OPERATION_COUNT

static final int EXISTENTIAL_QUANTIFIER_OPERATION_COUNT

The number of operations of the 'Existential Quantifier' class.

See Also:

• Constant Field Values

ABSTRACT_ASSERTION

static final int ABSTRACT_ASSERTION

The meta object id for the 'Abstract Assertion' class.

See Also:

• AbstractAssertionImpl
• ProblemPackageImpl.getAbstractAssertion()
• Constant Field Values

ABSTRACT_ASSERTION__ARGUMENTS

static final int ABSTRACT_ASSERTION__ARGUMENTS

The feature id for the 'Arguments' containment reference list.

See Also:

• Constant Field Values

ABSTRACT_ASSERTION__RELATION

static final int ABSTRACT_ASSERTION__RELATION

The feature id for the 'Relation' reference.

See Also:

• Constant Field Values

ABSTRACT_ASSERTION__VALUE

static final int ABSTRACT_ASSERTION__VALUE

The feature id for the 'Value' containment reference.

See Also:

• Constant Field Values

ABSTRACT_ASSERTION_FEATURE_COUNT

static final int ABSTRACT_ASSERTION_FEATURE_COUNT

The number of structural features of the 'Abstract Assertion' class.

See Also:

• Constant Field Values

ABSTRACT_ASSERTION_OPERATION_COUNT

static final int ABSTRACT_ASSERTION_OPERATION_COUNT

The number of operations of the 'Abstract Assertion' class.

See Also:

• Constant Field Values

NODE

static final int NODE

The meta object id for the 'Node' class.

See Also:

• NodeImpl
• ProblemPackageImpl.getNode()
• Constant Field Values

NODE__NAME

static final int NODE__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

NODE__ANNOTATIONS

static final int NODE__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

NODE_FEATURE_COUNT

static final int NODE_FEATURE_COUNT

The number of structural features of the 'Node' class.

See Also:

• Constant Field Values

NODE_OPERATION_COUNT

static final int NODE_OPERATION_COUNT

The number of operations of the 'Node' class.

See Also:

• Constant Field Values

SCOPE_DECLARATION

static final int SCOPE_DECLARATION

The meta object id for the 'Scope Declaration' class.

See Also:

• ScopeDeclarationImpl
• ProblemPackageImpl.getScopeDeclaration()
• Constant Field Values

SCOPE_DECLARATION__TYPE_SCOPES

static final int SCOPE_DECLARATION__TYPE_SCOPES

The feature id for the 'Type Scopes' containment reference list.

See Also:

• Constant Field Values

SCOPE_DECLARATION_FEATURE_COUNT

static final int SCOPE_DECLARATION_FEATURE_COUNT

The number of structural features of the 'Scope Declaration' class.

See Also:

• Constant Field Values

SCOPE_DECLARATION_OPERATION_COUNT

static final int SCOPE_DECLARATION_OPERATION_COUNT

The number of operations of the 'Scope Declaration' class.

See Also:

• Constant Field Values

TYPE_SCOPE

static final int TYPE_SCOPE

The meta object id for the 'Type Scope' class.

See Also:

• TypeScopeImpl
• ProblemPackageImpl.getTypeScope()
• Constant Field Values

TYPE_SCOPE__INCREMENT

static final int TYPE_SCOPE__INCREMENT

The feature id for the 'Increment' attribute.

See Also:

• Constant Field Values

TYPE_SCOPE__MULTIPLICITY

static final int TYPE_SCOPE__MULTIPLICITY

The feature id for the 'Multiplicity' containment reference.

See Also:

• Constant Field Values

TYPE_SCOPE__TARGET_TYPE

static final int TYPE_SCOPE__TARGET_TYPE

The feature id for the 'Target Type' reference.

See Also:

• Constant Field Values

TYPE_SCOPE_FEATURE_COUNT

static final int TYPE_SCOPE_FEATURE_COUNT

The number of structural features of the 'Type Scope' class.

See Also:

• Constant Field Values

TYPE_SCOPE_OPERATION_COUNT

static final int TYPE_SCOPE_OPERATION_COUNT

The number of operations of the 'Type Scope' class.

See Also:

• Constant Field Values

MULTIPLICITY

static final int MULTIPLICITY

The meta object id for the 'Multiplicity' class.

See Also:

• MultiplicityImpl
• ProblemPackageImpl.getMultiplicity()
• Constant Field Values

MULTIPLICITY_FEATURE_COUNT

static final int MULTIPLICITY_FEATURE_COUNT

The number of structural features of the 'Multiplicity' class.

See Also:

• Constant Field Values

MULTIPLICITY_OPERATION_COUNT

static final int MULTIPLICITY_OPERATION_COUNT

The number of operations of the 'Multiplicity' class.

See Also:

• Constant Field Values

RANGE_MULTIPLICITY

static final int RANGE_MULTIPLICITY

The meta object id for the 'Range Multiplicity' class.

See Also:

• RangeMultiplicityImpl
• ProblemPackageImpl.getRangeMultiplicity()
• Constant Field Values

RANGE_MULTIPLICITY__LOWER_BOUND

static final int RANGE_MULTIPLICITY__LOWER_BOUND

The feature id for the 'Lower Bound' attribute.

See Also:

• Constant Field Values

RANGE_MULTIPLICITY__UPPER_BOUND

static final int RANGE_MULTIPLICITY__UPPER_BOUND

The feature id for the 'Upper Bound' attribute.

See Also:

• Constant Field Values

RANGE_MULTIPLICITY_FEATURE_COUNT

static final int RANGE_MULTIPLICITY_FEATURE_COUNT

The number of structural features of the 'Range Multiplicity' class.

See Also:

• Constant Field Values

RANGE_MULTIPLICITY_OPERATION_COUNT

static final int RANGE_MULTIPLICITY_OPERATION_COUNT

The number of operations of the 'Range Multiplicity' class.

See Also:

• Constant Field Values

EXACT_MULTIPLICITY

static final int EXACT_MULTIPLICITY

The meta object id for the 'Exact Multiplicity' class.

See Also:

• ExactMultiplicityImpl
• ProblemPackageImpl.getExactMultiplicity()
• Constant Field Values

EXACT_MULTIPLICITY__EXACT_VALUE

static final int EXACT_MULTIPLICITY__EXACT_VALUE

The feature id for the 'Exact Value' attribute.

See Also:

• Constant Field Values

EXACT_MULTIPLICITY_FEATURE_COUNT

static final int EXACT_MULTIPLICITY_FEATURE_COUNT

The number of structural features of the 'Exact Multiplicity' class.

See Also:

• Constant Field Values

EXACT_MULTIPLICITY_OPERATION_COUNT

static final int EXACT_MULTIPLICITY_OPERATION_COUNT

The number of operations of the 'Exact Multiplicity' class.

See Also:

• Constant Field Values

UNBOUNDED_MULTIPLICITY

static final int UNBOUNDED_MULTIPLICITY

The meta object id for the 'Unbounded Multiplicity' class.

See Also:

• UnboundedMultiplicityImpl
• ProblemPackageImpl.getUnboundedMultiplicity()
• Constant Field Values

UNBOUNDED_MULTIPLICITY_FEATURE_COUNT

static final int UNBOUNDED_MULTIPLICITY_FEATURE_COUNT

The number of structural features of the 'Unbounded Multiplicity' class.

See Also:

• Constant Field Values

UNBOUNDED_MULTIPLICITY_OPERATION_COUNT

static final int UNBOUNDED_MULTIPLICITY_OPERATION_COUNT

The number of operations of the 'Unbounded Multiplicity' class.

See Also:

• Constant Field Values

ENUM_DECLARATION

static final int ENUM_DECLARATION

The meta object id for the 'Enum Declaration' class.

See Also:

• EnumDeclarationImpl
• ProblemPackageImpl.getEnumDeclaration()
• Constant Field Values

ENUM_DECLARATION__NAME

static final int ENUM_DECLARATION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

ENUM_DECLARATION__ANNOTATIONS

static final int ENUM_DECLARATION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

ENUM_DECLARATION__LITERALS

static final int ENUM_DECLARATION__LITERALS

The feature id for the 'Literals' containment reference list.

See Also:

• Constant Field Values

ENUM_DECLARATION_FEATURE_COUNT

static final int ENUM_DECLARATION_FEATURE_COUNT

The number of structural features of the 'Enum Declaration' class.

See Also:

• Constant Field Values

ENUM_DECLARATION_OPERATION_COUNT

static final int ENUM_DECLARATION_OPERATION_COUNT

The number of operations of the 'Enum Declaration' class.

See Also:

• Constant Field Values

CONSTANT

static final int CONSTANT

The meta object id for the 'Constant' class.

See Also:

• ConstantImpl
• ProblemPackageImpl.getConstant()
• Constant Field Values

CONSTANT_FEATURE_COUNT

static final int CONSTANT_FEATURE_COUNT

The number of structural features of the 'Constant' class.

See Also:

• Constant Field Values

CONSTANT_OPERATION_COUNT

static final int CONSTANT_OPERATION_COUNT

The number of operations of the 'Constant' class.

See Also:

• Constant Field Values

INT_CONSTANT

static final int INT_CONSTANT

The meta object id for the 'Int Constant' class.

See Also:

• IntConstantImpl
• ProblemPackageImpl.getIntConstant()
• Constant Field Values

INT_CONSTANT__INT_VALUE

static final int INT_CONSTANT__INT_VALUE

The feature id for the 'Int Value' attribute.

See Also:

• Constant Field Values

INT_CONSTANT_FEATURE_COUNT

static final int INT_CONSTANT_FEATURE_COUNT

The number of structural features of the 'Int Constant' class.

See Also:

• Constant Field Values

INT_CONSTANT_OPERATION_COUNT

static final int INT_CONSTANT_OPERATION_COUNT

The number of operations of the 'Int Constant' class.

See Also:

• Constant Field Values

REAL_CONSTANT

static final int REAL_CONSTANT

The meta object id for the 'Real Constant' class.

See Also:

• RealConstantImpl
• ProblemPackageImpl.getRealConstant()
• Constant Field Values

REAL_CONSTANT__REAL_VALUE

static final int REAL_CONSTANT__REAL_VALUE

The feature id for the 'Real Value' attribute.

See Also:

• Constant Field Values

REAL_CONSTANT_FEATURE_COUNT

static final int REAL_CONSTANT_FEATURE_COUNT

The number of structural features of the 'Real Constant' class.

See Also:

• Constant Field Values

REAL_CONSTANT_OPERATION_COUNT

static final int REAL_CONSTANT_OPERATION_COUNT

The number of operations of the 'Real Constant' class.

See Also:

• Constant Field Values

STRING_CONSTANT

static final int STRING_CONSTANT

The meta object id for the 'String Constant' class.

See Also:

• StringConstantImpl
• ProblemPackageImpl.getStringConstant()
• Constant Field Values

STRING_CONSTANT__STRING_VALUE

static final int STRING_CONSTANT__STRING_VALUE

The feature id for the 'String Value' attribute.

See Also:

• Constant Field Values

STRING_CONSTANT_FEATURE_COUNT

static final int STRING_CONSTANT_FEATURE_COUNT

The number of structural features of the 'String Constant' class.

See Also:

• Constant Field Values

STRING_CONSTANT_OPERATION_COUNT

static final int STRING_CONSTANT_OPERATION_COUNT

The number of operations of the 'String Constant' class.

See Also:

• Constant Field Values

ASSERTION_ARGUMENT

static final int ASSERTION_ARGUMENT

The meta object id for the 'Assertion Argument' class.

See Also:

• AssertionArgumentImpl
• ProblemPackageImpl.getAssertionArgument()
• Constant Field Values

ASSERTION_ARGUMENT_FEATURE_COUNT

static final int ASSERTION_ARGUMENT_FEATURE_COUNT

The number of structural features of the 'Assertion Argument' class.

See Also:

• Constant Field Values

ASSERTION_ARGUMENT_OPERATION_COUNT

static final int ASSERTION_ARGUMENT_OPERATION_COUNT

The number of operations of the 'Assertion Argument' class.

See Also:

• Constant Field Values

NODE_ASSERTION_ARGUMENT

static final int NODE_ASSERTION_ARGUMENT

The meta object id for the 'Node Assertion Argument' class.

See Also:

• NodeAssertionArgumentImpl
• ProblemPackageImpl.getNodeAssertionArgument()
• Constant Field Values

NODE_ASSERTION_ARGUMENT__NODE

static final int NODE_ASSERTION_ARGUMENT__NODE

The feature id for the 'Node' reference.

See Also:

• Constant Field Values

NODE_ASSERTION_ARGUMENT_FEATURE_COUNT

static final int NODE_ASSERTION_ARGUMENT_FEATURE_COUNT

The number of structural features of the 'Node Assertion Argument' class.

See Also:

• Constant Field Values

NODE_ASSERTION_ARGUMENT_OPERATION_COUNT

static final int NODE_ASSERTION_ARGUMENT_OPERATION_COUNT

The number of operations of the 'Node Assertion Argument' class.

See Also:

• Constant Field Values

NODE_DECLARATION

static final int NODE_DECLARATION

The meta object id for the 'Node Declaration' class.

See Also:

• NodeDeclarationImpl
• ProblemPackageImpl.getNodeDeclaration()
• Constant Field Values

NODE_DECLARATION__ANNOTATIONS

static final int NODE_DECLARATION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

NODE_DECLARATION__NODES

static final int NODE_DECLARATION__NODES

The feature id for the 'Nodes' containment reference list.

See Also:

• Constant Field Values

NODE_DECLARATION__KIND

static final int NODE_DECLARATION__KIND

The feature id for the 'Kind' attribute.

See Also:

• Constant Field Values

NODE_DECLARATION_FEATURE_COUNT

static final int NODE_DECLARATION_FEATURE_COUNT

The number of structural features of the 'Node Declaration' class.

See Also:

• Constant Field Values

NODE_DECLARATION_OPERATION_COUNT

static final int NODE_DECLARATION_OPERATION_COUNT

The number of operations of the 'Node Declaration' class.

See Also:

• Constant Field Values

WILDCARD_ASSERTION_ARGUMENT

static final int WILDCARD_ASSERTION_ARGUMENT

The meta object id for the 'Wildcard Assertion Argument' class.

See Also:

• WildcardAssertionArgumentImpl
• ProblemPackageImpl.getWildcardAssertionArgument()
• Constant Field Values

WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNT

static final int WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNT

The number of structural features of the 'Wildcard Assertion Argument' class.

See Also:

• Constant Field Values

WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNT

static final int WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNT

The number of operations of the 'Wildcard Assertion Argument' class.

See Also:

• Constant Field Values

RULE_DEFINITION

static final int RULE_DEFINITION

The meta object id for the 'Rule Definition' class.

See Also:

• RuleDefinitionImpl
• ProblemPackageImpl.getRuleDefinition()
• Constant Field Values

RULE_DEFINITION__ANNOTATIONS

static final int RULE_DEFINITION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

RULE_DEFINITION__PARAMETERS

static final int RULE_DEFINITION__PARAMETERS

The feature id for the 'Parameters' containment reference list.

See Also:

• Constant Field Values

RULE_DEFINITION__NAME

static final int RULE_DEFINITION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

RULE_DEFINITION__CONSEQUENTS

static final int RULE_DEFINITION__CONSEQUENTS

The feature id for the 'Consequents' containment reference list.

See Also:

• Constant Field Values

RULE_DEFINITION__PRECONDITIONS

static final int RULE_DEFINITION__PRECONDITIONS

The feature id for the 'Preconditions' containment reference list.

See Also:

• Constant Field Values

RULE_DEFINITION__KIND

static final int RULE_DEFINITION__KIND

The feature id for the 'Kind' attribute.

See Also:

• Constant Field Values

RULE_DEFINITION_FEATURE_COUNT

static final int RULE_DEFINITION_FEATURE_COUNT

The number of structural features of the 'Rule Definition' class.

See Also:

• Constant Field Values

RULE_DEFINITION_OPERATION_COUNT

static final int RULE_DEFINITION_OPERATION_COUNT

The number of operations of the 'Rule Definition' class.

See Also:

• Constant Field Values

CONSEQUENT

static final int CONSEQUENT

The meta object id for the 'Consequent' class.

See Also:

• ConsequentImpl
• ProblemPackageImpl.getConsequent()
• Constant Field Values

CONSEQUENT__ACTIONS

static final int CONSEQUENT__ACTIONS

The feature id for the 'Actions' containment reference list.

See Also:

• Constant Field Values

CONSEQUENT_FEATURE_COUNT

static final int CONSEQUENT_FEATURE_COUNT

The number of structural features of the 'Consequent' class.

See Also:

• Constant Field Values

CONSEQUENT_OPERATION_COUNT

static final int CONSEQUENT_OPERATION_COUNT

The number of operations of the 'Consequent' class.

See Also:

• Constant Field Values

ACTION

static final int ACTION

The meta object id for the 'Action' class.

See Also:

• Action
• ProblemPackageImpl.getAction()
• Constant Field Values

ACTION_FEATURE_COUNT

static final int ACTION_FEATURE_COUNT

The number of structural features of the 'Action' class.

See Also:

• Constant Field Values

ACTION_OPERATION_COUNT

static final int ACTION_OPERATION_COUNT

The number of operations of the 'Action' class.

See Also:

• Constant Field Values

ASSERTION_ACTION

static final int ASSERTION_ACTION

The meta object id for the 'Assertion Action' class.

See Also:

• AssertionActionImpl
• ProblemPackageImpl.getAssertionAction()
• Constant Field Values

ASSERTION_ACTION__ARGUMENTS

static final int ASSERTION_ACTION__ARGUMENTS

The feature id for the 'Arguments' containment reference list.

See Also:

• Constant Field Values

ASSERTION_ACTION__RELATION

static final int ASSERTION_ACTION__RELATION

The feature id for the 'Relation' reference.

See Also:

• Constant Field Values

ASSERTION_ACTION__VALUE

static final int ASSERTION_ACTION__VALUE

The feature id for the 'Value' containment reference.

See Also:

• Constant Field Values

ASSERTION_ACTION_FEATURE_COUNT

static final int ASSERTION_ACTION_FEATURE_COUNT

The number of structural features of the 'Assertion Action' class.

See Also:

• Constant Field Values

ASSERTION_ACTION_OPERATION_COUNT

static final int ASSERTION_ACTION_OPERATION_COUNT

The number of operations of the 'Assertion Action' class.

See Also:

• Constant Field Values

VARIABLE_OR_NODE_EXPR

static final int VARIABLE_OR_NODE_EXPR

The meta object id for the 'Variable Or Node Expr' class.

See Also:

• VariableOrNodeExprImpl
• ProblemPackageImpl.getVariableOrNodeExpr()
• Constant Field Values

VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE

static final int VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE

The feature id for the 'Variable Or Node' reference.

See Also:

• Constant Field Values

VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE

static final int VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE

The feature id for the 'Singleton Variable' containment reference.

See Also:

• Constant Field Values

VARIABLE_OR_NODE_EXPR__RELATION

static final int VARIABLE_OR_NODE_EXPR__RELATION

The feature id for the 'Relation' reference.

See Also:

• Constant Field Values

VARIABLE_OR_NODE_EXPR__ELEMENT

static final int VARIABLE_OR_NODE_EXPR__ELEMENT

The feature id for the 'Element' reference.

See Also:

• Constant Field Values

VARIABLE_OR_NODE_EXPR_FEATURE_COUNT

static final int VARIABLE_OR_NODE_EXPR_FEATURE_COUNT

The number of structural features of the 'Variable Or Node Expr' class.

See Also:

• Constant Field Values

VARIABLE_OR_NODE_EXPR_OPERATION_COUNT

static final int VARIABLE_OR_NODE_EXPR_OPERATION_COUNT

The number of operations of the 'Variable Or Node Expr' class.

See Also:

• Constant Field Values

BINARY_EXPR

static final int BINARY_EXPR

The meta object id for the 'Binary Expr' class.

See Also:

• BinaryExprImpl
• ProblemPackageImpl.getBinaryExpr()
• Constant Field Values

BINARY_EXPR__LEFT

static final int BINARY_EXPR__LEFT

The feature id for the 'Left' containment reference.

See Also:

• Constant Field Values

BINARY_EXPR__RIGHT

static final int BINARY_EXPR__RIGHT

The feature id for the 'Right' containment reference.

See Also:

• Constant Field Values

BINARY_EXPR_FEATURE_COUNT

static final int BINARY_EXPR_FEATURE_COUNT

The number of structural features of the 'Binary Expr' class.

See Also:

• Constant Field Values

BINARY_EXPR_OPERATION_COUNT

static final int BINARY_EXPR_OPERATION_COUNT

The number of operations of the 'Binary Expr' class.

See Also:

• Constant Field Values

UNARY_EXPR

static final int UNARY_EXPR

The meta object id for the 'Unary Expr' class.

See Also:

• UnaryExprImpl
• ProblemPackageImpl.getUnaryExpr()
• Constant Field Values

UNARY_EXPR__BODY

static final int UNARY_EXPR__BODY

The feature id for the 'Body' containment reference.

See Also:

• Constant Field Values

UNARY_EXPR_FEATURE_COUNT

static final int UNARY_EXPR_FEATURE_COUNT

The number of structural features of the 'Unary Expr' class.

See Also:

• Constant Field Values

UNARY_EXPR_OPERATION_COUNT

static final int UNARY_EXPR_OPERATION_COUNT

The number of operations of the 'Unary Expr' class.

See Also:

• Constant Field Values

ARITHMETIC_UNARY_EXPR

static final int ARITHMETIC_UNARY_EXPR

The meta object id for the 'Arithmetic Unary Expr' class.

See Also:

• ArithmeticUnaryExprImpl
• ProblemPackageImpl.getArithmeticUnaryExpr()
• Constant Field Values

ARITHMETIC_UNARY_EXPR__BODY

static final int ARITHMETIC_UNARY_EXPR__BODY

The feature id for the 'Body' containment reference.

See Also:

• Constant Field Values

ARITHMETIC_UNARY_EXPR__OP

static final int ARITHMETIC_UNARY_EXPR__OP

The feature id for the 'Op' attribute.

See Also:

• Constant Field Values

ARITHMETIC_UNARY_EXPR_FEATURE_COUNT

static final int ARITHMETIC_UNARY_EXPR_FEATURE_COUNT

The number of structural features of the 'Arithmetic Unary Expr' class.

See Also:

• Constant Field Values

ARITHMETIC_UNARY_EXPR_OPERATION_COUNT

static final int ARITHMETIC_UNARY_EXPR_OPERATION_COUNT

The number of operations of the 'Arithmetic Unary Expr' class.

See Also:

• Constant Field Values

AGGREGATION_EXPR

static final int AGGREGATION_EXPR

The meta object id for the 'Aggregation Expr' class.

See Also:

• AggregationExprImpl
• ProblemPackageImpl.getAggregationExpr()
• Constant Field Values

AGGREGATION_EXPR__IMPLICIT_VARIABLES

static final int AGGREGATION_EXPR__IMPLICIT_VARIABLES

The feature id for the 'Implicit Variables' containment reference list.

See Also:

• Constant Field Values

AGGREGATION_EXPR__VALUE

static final int AGGREGATION_EXPR__VALUE

The feature id for the 'Value' containment reference.

See Also:

• Constant Field Values

AGGREGATION_EXPR__CONDITION

static final int AGGREGATION_EXPR__CONDITION

The feature id for the 'Condition' containment reference.

See Also:

• Constant Field Values

AGGREGATION_EXPR__AGGREGATOR

static final int AGGREGATION_EXPR__AGGREGATOR

The feature id for the 'Aggregator' reference.

See Also:

• Constant Field Values

AGGREGATION_EXPR_FEATURE_COUNT

static final int AGGREGATION_EXPR_FEATURE_COUNT

The number of structural features of the 'Aggregation Expr' class.

See Also:

• Constant Field Values

AGGREGATION_EXPR_OPERATION_COUNT

static final int AGGREGATION_EXPR_OPERATION_COUNT

The number of operations of the 'Aggregation Expr' class.

See Also:

• Constant Field Values

COMPARISON_EXPR

static final int COMPARISON_EXPR

The meta object id for the 'Comparison Expr' class.

See Also:

• ComparisonExprImpl
• ProblemPackageImpl.getComparisonExpr()
• Constant Field Values

COMPARISON_EXPR__LEFT

static final int COMPARISON_EXPR__LEFT

The feature id for the 'Left' containment reference.

See Also:

• Constant Field Values

COMPARISON_EXPR__RIGHT

static final int COMPARISON_EXPR__RIGHT

The feature id for the 'Right' containment reference.

See Also:

• Constant Field Values

COMPARISON_EXPR__OP

static final int COMPARISON_EXPR__OP

The feature id for the 'Op' attribute.

See Also:

• Constant Field Values

COMPARISON_EXPR_FEATURE_COUNT

static final int COMPARISON_EXPR_FEATURE_COUNT

The number of structural features of the 'Comparison Expr' class.

See Also:

• Constant Field Values

COMPARISON_EXPR_OPERATION_COUNT

static final int COMPARISON_EXPR_OPERATION_COUNT

The number of operations of the 'Comparison Expr' class.

See Also:

• Constant Field Values

QUANTIFIED_UNARY_EXPR

static final int QUANTIFIED_UNARY_EXPR

The meta object id for the 'Quantified Unary Expr' class.

See Also:

• QuantifiedUnaryExprImpl
• ProblemPackageImpl.getQuantifiedUnaryExpr()
• Constant Field Values

QUANTIFIED_UNARY_EXPR__IMPLICIT_VARIABLES

static final int QUANTIFIED_UNARY_EXPR__IMPLICIT_VARIABLES

The feature id for the 'Implicit Variables' containment reference list.

See Also:

• Constant Field Values

QUANTIFIED_UNARY_EXPR__BODY

static final int QUANTIFIED_UNARY_EXPR__BODY

The feature id for the 'Body' containment reference.

See Also:

• Constant Field Values

QUANTIFIED_UNARY_EXPR_FEATURE_COUNT

static final int QUANTIFIED_UNARY_EXPR_FEATURE_COUNT

The number of structural features of the 'Quantified Unary Expr' class.

See Also:

• Constant Field Values

QUANTIFIED_UNARY_EXPR_OPERATION_COUNT

static final int QUANTIFIED_UNARY_EXPR_OPERATION_COUNT

The number of operations of the 'Quantified Unary Expr' class.

See Also:

• Constant Field Values

FUNCTION_DEFINITION

static final int FUNCTION_DEFINITION

The meta object id for the 'Function Definition' class.

See Also:

• FunctionDefinitionImpl
• ProblemPackageImpl.getFunctionDefinition()
• Constant Field Values

FUNCTION_DEFINITION__ANNOTATIONS

static final int FUNCTION_DEFINITION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

FUNCTION_DEFINITION__PARAMETERS

static final int FUNCTION_DEFINITION__PARAMETERS

The feature id for the 'Parameters' containment reference list.

See Also:

• Constant Field Values

FUNCTION_DEFINITION__NAME

static final int FUNCTION_DEFINITION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

FUNCTION_DEFINITION__CASES

static final int FUNCTION_DEFINITION__CASES

The feature id for the 'Cases' containment reference list.

See Also:

• Constant Field Values

FUNCTION_DEFINITION__FUNCTION_TYPE

static final int FUNCTION_DEFINITION__FUNCTION_TYPE

The feature id for the 'Function Type' reference.

See Also:

• Constant Field Values

FUNCTION_DEFINITION_FEATURE_COUNT

static final int FUNCTION_DEFINITION_FEATURE_COUNT

The number of structural features of the 'Function Definition' class.

See Also:

• Constant Field Values

FUNCTION_DEFINITION_OPERATION_COUNT

static final int FUNCTION_DEFINITION_OPERATION_COUNT

The number of operations of the 'Function Definition' class.

See Also:

• Constant Field Values

CASE

static final int CASE

The meta object id for the 'Case' class.

See Also:

• CaseImpl
• ProblemPackageImpl.getCase()
• Constant Field Values

CASE_FEATURE_COUNT

static final int CASE_FEATURE_COUNT

The number of structural features of the 'Case' class.

See Also:

• Constant Field Values

CASE_OPERATION_COUNT

static final int CASE_OPERATION_COUNT

The number of operations of the 'Case' class.

See Also:

• Constant Field Values

CONJUNCTION

static final int CONJUNCTION

The meta object id for the 'Conjunction' class.

See Also:

• ConjunctionImpl
• ProblemPackageImpl.getConjunction()
• Constant Field Values

CONJUNCTION__IMPLICIT_VARIABLES

static final int CONJUNCTION__IMPLICIT_VARIABLES

The feature id for the 'Implicit Variables' containment reference list.

See Also:

• Constant Field Values

CONJUNCTION__LITERALS

static final int CONJUNCTION__LITERALS

The feature id for the 'Literals' containment reference list.

See Also:

• Constant Field Values

CONJUNCTION_FEATURE_COUNT

static final int CONJUNCTION_FEATURE_COUNT

The number of structural features of the 'Conjunction' class.

See Also:

• Constant Field Values

CONJUNCTION_OPERATION_COUNT

static final int CONJUNCTION_OPERATION_COUNT

The number of operations of the 'Conjunction' class.

See Also:

• Constant Field Values

MATCH

static final int MATCH

The meta object id for the 'Match' class.

See Also:

• MatchImpl
• ProblemPackageImpl.getMatch()
• Constant Field Values

MATCH__CONDITION

static final int MATCH__CONDITION

The feature id for the 'Condition' containment reference.

See Also:

• Constant Field Values

MATCH__VALUE

static final int MATCH__VALUE

The feature id for the 'Value' containment reference.

See Also:

• Constant Field Values

MATCH_FEATURE_COUNT

static final int MATCH_FEATURE_COUNT

The number of structural features of the 'Match' class.

See Also:

• Constant Field Values

MATCH_OPERATION_COUNT

static final int MATCH_OPERATION_COUNT

The number of operations of the 'Match' class.

See Also:

• Constant Field Values

ARITHMETIC_BINARY_EXPR

static final int ARITHMETIC_BINARY_EXPR

The meta object id for the 'Arithmetic Binary Expr' class.

See Also:

• ArithmeticBinaryExprImpl
• ProblemPackageImpl.getArithmeticBinaryExpr()
• Constant Field Values

ARITHMETIC_BINARY_EXPR__LEFT

static final int ARITHMETIC_BINARY_EXPR__LEFT

The feature id for the 'Left' containment reference.

See Also:

• Constant Field Values

ARITHMETIC_BINARY_EXPR__RIGHT

static final int ARITHMETIC_BINARY_EXPR__RIGHT

The feature id for the 'Right' containment reference.

See Also:

• Constant Field Values

ARITHMETIC_BINARY_EXPR__OP

static final int ARITHMETIC_BINARY_EXPR__OP

The feature id for the 'Op' attribute.

See Also:

• Constant Field Values

ARITHMETIC_BINARY_EXPR_FEATURE_COUNT

static final int ARITHMETIC_BINARY_EXPR_FEATURE_COUNT

The number of structural features of the 'Arithmetic Binary Expr' class.

See Also:

• Constant Field Values

ARITHMETIC_BINARY_EXPR_OPERATION_COUNT

static final int ARITHMETIC_BINARY_EXPR_OPERATION_COUNT

The number of operations of the 'Arithmetic Binary Expr' class.

See Also:

• Constant Field Values

NEGATION_EXPR

static final int NEGATION_EXPR

The meta object id for the 'Negation Expr' class.

See Also:

• NegationExprImpl
• ProblemPackageImpl.getNegationExpr()
• Constant Field Values

NEGATION_EXPR__IMPLICIT_VARIABLES

static final int NEGATION_EXPR__IMPLICIT_VARIABLES

The feature id for the 'Implicit Variables' containment reference list.

See Also:

• Constant Field Values

NEGATION_EXPR__BODY

static final int NEGATION_EXPR__BODY

The feature id for the 'Body' containment reference.

See Also:

• Constant Field Values

NEGATION_EXPR_FEATURE_COUNT

static final int NEGATION_EXPR_FEATURE_COUNT

The number of structural features of the 'Negation Expr' class.

See Also:

• Constant Field Values

NEGATION_EXPR_OPERATION_COUNT

static final int NEGATION_EXPR_OPERATION_COUNT

The number of operations of the 'Negation Expr' class.

See Also:

• Constant Field Values

COUNT_EXPR

static final int COUNT_EXPR

The meta object id for the 'Count Expr' class.

See Also:

• CountExprImpl
• ProblemPackageImpl.getCountExpr()
• Constant Field Values

COUNT_EXPR__IMPLICIT_VARIABLES

static final int COUNT_EXPR__IMPLICIT_VARIABLES

The feature id for the 'Implicit Variables' containment reference list.

See Also:

• Constant Field Values

COUNT_EXPR__BODY

static final int COUNT_EXPR__BODY

The feature id for the 'Body' containment reference.

See Also:

• Constant Field Values

COUNT_EXPR_FEATURE_COUNT

static final int COUNT_EXPR_FEATURE_COUNT

The number of structural features of the 'Count Expr' class.

See Also:

• Constant Field Values

COUNT_EXPR_OPERATION_COUNT

static final int COUNT_EXPR_OPERATION_COUNT

The number of operations of the 'Count Expr' class.

See Also:

• Constant Field Values

RANGE_EXPR

static final int RANGE_EXPR

The meta object id for the 'Range Expr' class.

See Also:

• RangeExprImpl
• ProblemPackageImpl.getRangeExpr()
• Constant Field Values

RANGE_EXPR__LEFT

static final int RANGE_EXPR__LEFT

The feature id for the 'Left' containment reference.

See Also:

• Constant Field Values

RANGE_EXPR__RIGHT

static final int RANGE_EXPR__RIGHT

The feature id for the 'Right' containment reference.

See Also:

• Constant Field Values

RANGE_EXPR_FEATURE_COUNT

static final int RANGE_EXPR_FEATURE_COUNT

The number of structural features of the 'Range Expr' class.

See Also:

• Constant Field Values

RANGE_EXPR_OPERATION_COUNT

static final int RANGE_EXPR_OPERATION_COUNT

The number of operations of the 'Range Expr' class.

See Also:

• Constant Field Values

LOGIC_CONSTANT

static final int LOGIC_CONSTANT

The meta object id for the 'Logic Constant' class.

See Also:

• LogicConstantImpl
• ProblemPackageImpl.getLogicConstant()
• Constant Field Values

LOGIC_CONSTANT__LOGIC_VALUE

static final int LOGIC_CONSTANT__LOGIC_VALUE

The feature id for the 'Logic Value' attribute.

See Also:

• Constant Field Values

LOGIC_CONSTANT_FEATURE_COUNT

static final int LOGIC_CONSTANT_FEATURE_COUNT

The number of structural features of the 'Logic Constant' class.

See Also:

• Constant Field Values

LOGIC_CONSTANT_OPERATION_COUNT

static final int LOGIC_CONSTANT_OPERATION_COUNT

The number of operations of the 'Logic Constant' class.

See Also:

• Constant Field Values

IMPORT_STATEMENT

static final int IMPORT_STATEMENT

The meta object id for the 'Import Statement' class.

See Also:

• ImportStatementImpl
• ProblemPackageImpl.getImportStatement()
• Constant Field Values

IMPORT_STATEMENT__IMPORTED_MODULE

static final int IMPORT_STATEMENT__IMPORTED_MODULE

The feature id for the 'Imported Module' reference.

See Also:

• Constant Field Values

IMPORT_STATEMENT__ALIAS

static final int IMPORT_STATEMENT__ALIAS

The feature id for the 'Alias' attribute.

See Also:

• Constant Field Values

IMPORT_STATEMENT_FEATURE_COUNT

static final int IMPORT_STATEMENT_FEATURE_COUNT

The number of structural features of the 'Import Statement' class.

See Also:

• Constant Field Values

IMPORT_STATEMENT_OPERATION_COUNT

static final int IMPORT_STATEMENT_OPERATION_COUNT

The number of operations of the 'Import Statement' class.

See Also:

• Constant Field Values

DATATYPE_DECLARATION

static final int DATATYPE_DECLARATION

The meta object id for the 'Datatype Declaration' class.

See Also:

• DatatypeDeclarationImpl
• ProblemPackageImpl.getDatatypeDeclaration()
• Constant Field Values

DATATYPE_DECLARATION__NAME

static final int DATATYPE_DECLARATION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

DATATYPE_DECLARATION__ANNOTATIONS

static final int DATATYPE_DECLARATION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

DATATYPE_DECLARATION_FEATURE_COUNT

static final int DATATYPE_DECLARATION_FEATURE_COUNT

The number of structural features of the 'Datatype Declaration' class.

See Also:

• Constant Field Values

DATATYPE_DECLARATION_OPERATION_COUNT

static final int DATATYPE_DECLARATION_OPERATION_COUNT

The number of operations of the 'Datatype Declaration' class.

See Also:

• Constant Field Values

LATTICE_BINARY_EXPR

static final int LATTICE_BINARY_EXPR

The meta object id for the 'Lattice Binary Expr' class.

See Also:

• LatticeBinaryExprImpl
• ProblemPackageImpl.getLatticeBinaryExpr()
• Constant Field Values

LATTICE_BINARY_EXPR__LEFT

static final int LATTICE_BINARY_EXPR__LEFT

The feature id for the 'Left' containment reference.

See Also:

• Constant Field Values

LATTICE_BINARY_EXPR__RIGHT

static final int LATTICE_BINARY_EXPR__RIGHT

The feature id for the 'Right' containment reference.

See Also:

• Constant Field Values

LATTICE_BINARY_EXPR__OP

static final int LATTICE_BINARY_EXPR__OP

The feature id for the 'Op' attribute.

See Also:

• Constant Field Values

LATTICE_BINARY_EXPR_FEATURE_COUNT

static final int LATTICE_BINARY_EXPR_FEATURE_COUNT

The number of structural features of the 'Lattice Binary Expr' class.

See Also:

• Constant Field Values

LATTICE_BINARY_EXPR_OPERATION_COUNT

static final int LATTICE_BINARY_EXPR_OPERATION_COUNT

The number of operations of the 'Lattice Binary Expr' class.

See Also:

• Constant Field Values

CAST_EXPR

static final int CAST_EXPR

The meta object id for the 'Cast Expr' class.

See Also:

• CastExprImpl
• ProblemPackageImpl.getCastExpr()
• Constant Field Values

CAST_EXPR__BODY

static final int CAST_EXPR__BODY

The feature id for the 'Body' containment reference.

See Also:

• Constant Field Values

CAST_EXPR__TARGET_TYPE

static final int CAST_EXPR__TARGET_TYPE

The feature id for the 'Target Type' reference.

See Also:

• Constant Field Values

CAST_EXPR_FEATURE_COUNT

static final int CAST_EXPR_FEATURE_COUNT

The number of structural features of the 'Cast Expr' class.

See Also:

• Constant Field Values

CAST_EXPR_OPERATION_COUNT

static final int CAST_EXPR_OPERATION_COUNT

The number of operations of the 'Cast Expr' class.

See Also:

• Constant Field Values

ASSIGNMENT_EXPR

static final int ASSIGNMENT_EXPR

The meta object id for the 'Assignment Expr' class.

See Also:

• AssignmentExprImpl
• ProblemPackageImpl.getAssignmentExpr()
• Constant Field Values

ASSIGNMENT_EXPR__LEFT

static final int ASSIGNMENT_EXPR__LEFT

The feature id for the 'Left' containment reference.

See Also:

• Constant Field Values

ASSIGNMENT_EXPR__RIGHT

static final int ASSIGNMENT_EXPR__RIGHT

The feature id for the 'Right' containment reference.

See Also:

• Constant Field Values

ASSIGNMENT_EXPR_FEATURE_COUNT

static final int ASSIGNMENT_EXPR_FEATURE_COUNT

The number of structural features of the 'Assignment Expr' class.

See Also:

• Constant Field Values

ASSIGNMENT_EXPR_OPERATION_COUNT

static final int ASSIGNMENT_EXPR_OPERATION_COUNT

The number of operations of the 'Assignment Expr' class.

See Also:

• Constant Field Values

INFINITE_CONSTANT

static final int INFINITE_CONSTANT

The meta object id for the 'Infinite Constant' class.

See Also:

• InfiniteConstantImpl
• ProblemPackageImpl.getInfiniteConstant()
• Constant Field Values

INFINITE_CONSTANT_FEATURE_COUNT

static final int INFINITE_CONSTANT_FEATURE_COUNT

The number of structural features of the 'Infinite Constant' class.

See Also:

• Constant Field Values

INFINITE_CONSTANT_OPERATION_COUNT

static final int INFINITE_CONSTANT_OPERATION_COUNT

The number of operations of the 'Infinite Constant' class.

See Also:

• Constant Field Values

AGGREGATOR_DECLARATION

static final int AGGREGATOR_DECLARATION

The meta object id for the 'Aggregator Declaration' class.

See Also:

• AggregatorDeclarationImpl
• ProblemPackageImpl.getAggregatorDeclaration()
• Constant Field Values

AGGREGATOR_DECLARATION__NAME

static final int AGGREGATOR_DECLARATION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

AGGREGATOR_DECLARATION__ANNOTATIONS

static final int AGGREGATOR_DECLARATION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

AGGREGATOR_DECLARATION_FEATURE_COUNT

static final int AGGREGATOR_DECLARATION_FEATURE_COUNT

The number of structural features of the 'Aggregator Declaration' class.

See Also:

• Constant Field Values

AGGREGATOR_DECLARATION_OPERATION_COUNT

static final int AGGREGATOR_DECLARATION_OPERATION_COUNT

The number of operations of the 'Aggregator Declaration' class.

See Also:

• Constant Field Values

MODAL_EXPR

static final int MODAL_EXPR

The meta object id for the 'Modal Expr' class.

See Also:

• ModalExprImpl
• ProblemPackageImpl.getModalExpr()
• Constant Field Values

MODAL_EXPR__BODY

static final int MODAL_EXPR__BODY

The feature id for the 'Body' containment reference.

See Also:

• Constant Field Values

MODAL_EXPR__CONCRETENESS

static final int MODAL_EXPR__CONCRETENESS

The feature id for the 'Concreteness' attribute.

See Also:

• Constant Field Values

MODAL_EXPR__MODALITY

static final int MODAL_EXPR__MODALITY

The feature id for the 'Modality' attribute.

See Also:

• Constant Field Values

MODAL_EXPR_FEATURE_COUNT

static final int MODAL_EXPR_FEATURE_COUNT

The number of structural features of the 'Modal Expr' class.

See Also:

• Constant Field Values

MODAL_EXPR_OPERATION_COUNT

static final int MODAL_EXPR_OPERATION_COUNT

The number of operations of the 'Modal Expr' class.

See Also:

• Constant Field Values

ASSERTION

static final int ASSERTION

The meta object id for the 'Assertion' class.

See Also:

• AssertionImpl
• ProblemPackageImpl.getAssertion()
• Constant Field Values

ASSERTION__ARGUMENTS

static final int ASSERTION__ARGUMENTS

The feature id for the 'Arguments' containment reference list.

See Also:

• Constant Field Values

ASSERTION__RELATION

static final int ASSERTION__RELATION

The feature id for the 'Relation' reference.

See Also:

• Constant Field Values

ASSERTION__VALUE

static final int ASSERTION__VALUE

The feature id for the 'Value' containment reference.

See Also:

• Constant Field Values

ASSERTION__DEFAULT

static final int ASSERTION__DEFAULT

The feature id for the 'Default' attribute.

See Also:

• Constant Field Values

ASSERTION_FEATURE_COUNT

static final int ASSERTION_FEATURE_COUNT

The number of structural features of the 'Assertion' class.

See Also:

• Constant Field Values

ASSERTION_OPERATION_COUNT

static final int ASSERTION_OPERATION_COUNT

The number of operations of the 'Assertion' class.

See Also:

• Constant Field Values

ANNOTATED_ELEMENT

static final int ANNOTATED_ELEMENT

The meta object id for the 'Annotated Element' class.

See Also:

• AnnotatedElement
• ProblemPackageImpl.getAnnotatedElement()
• Constant Field Values

ANNOTATED_ELEMENT__ANNOTATIONS

static final int ANNOTATED_ELEMENT__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

ANNOTATED_ELEMENT_FEATURE_COUNT

static final int ANNOTATED_ELEMENT_FEATURE_COUNT

The number of structural features of the 'Annotated Element' class.

See Also:

• Constant Field Values

ANNOTATED_ELEMENT_OPERATION_COUNT

static final int ANNOTATED_ELEMENT_OPERATION_COUNT

The number of operations of the 'Annotated Element' class.

See Also:

• Constant Field Values

ANNOTATION_CONTAINER

static final int ANNOTATION_CONTAINER

The meta object id for the 'Annotation Container' class.

See Also:

• AnnotationContainerImpl
• ProblemPackageImpl.getAnnotationContainer()
• Constant Field Values

ANNOTATION_CONTAINER__ANNOTATIONS

static final int ANNOTATION_CONTAINER__ANNOTATIONS

The feature id for the 'Annotations' containment reference list.

See Also:

• Constant Field Values

ANNOTATION_CONTAINER_FEATURE_COUNT

static final int ANNOTATION_CONTAINER_FEATURE_COUNT

The number of structural features of the 'Annotation Container' class.

See Also:

• Constant Field Values

ANNOTATION_CONTAINER_OPERATION_COUNT

static final int ANNOTATION_CONTAINER_OPERATION_COUNT

The number of operations of the 'Annotation Container' class.

See Also:

• Constant Field Values

ANNOTATION_DECLARATION

static final int ANNOTATION_DECLARATION

The meta object id for the 'Annotation Declaration' class.

See Also:

• AnnotationDeclarationImpl
• ProblemPackageImpl.getAnnotationDeclaration()
• Constant Field Values

ANNOTATION_DECLARATION__ANNOTATIONS

static final int ANNOTATION_DECLARATION__ANNOTATIONS

The feature id for the 'Annotations' containment reference.

See Also:

• Constant Field Values

ANNOTATION_DECLARATION__PARAMETERS

static final int ANNOTATION_DECLARATION__PARAMETERS

The feature id for the 'Parameters' containment reference list.

See Also:

• Constant Field Values

ANNOTATION_DECLARATION__NAME

static final int ANNOTATION_DECLARATION__NAME

The feature id for the 'Name' attribute.

See Also:

• Constant Field Values

ANNOTATION_DECLARATION_FEATURE_COUNT

static final int ANNOTATION_DECLARATION_FEATURE_COUNT

The number of structural features of the 'Annotation Declaration' class.

See Also:

• Constant Field Values

ANNOTATION_DECLARATION_OPERATION_COUNT

static final int ANNOTATION_DECLARATION_OPERATION_COUNT

The number of operations of the 'Annotation Declaration' class.

See Also:

• Constant Field Values

ANNOTATION

static final int ANNOTATION

The meta object id for the 'Annotation' class.

See Also:

• AnnotationImpl
• ProblemPackageImpl.getAnnotation()
• Constant Field Values

ANNOTATION__DECLARATION

static final int ANNOTATION__DECLARATION

The feature id for the 'Declaration' reference.

See Also:

• Constant Field Values

ANNOTATION__ARGUMENTS

static final int ANNOTATION__ARGUMENTS

The feature id for the 'Arguments' containment reference list.

See Also:

• Constant Field Values

ANNOTATION_FEATURE_COUNT

static final int ANNOTATION_FEATURE_COUNT

The number of structural features of the 'Annotation' class.

See Also:

• Constant Field Values

ANNOTATION_OPERATION_COUNT

static final int ANNOTATION_OPERATION_COUNT

The number of operations of the 'Annotation' class.

See Also:

• Constant Field Values

ANNOTATION_ARGUMENT

static final int ANNOTATION_ARGUMENT

The meta object id for the 'Annotation Argument' class.

See Also:

• AnnotationArgumentImpl
• ProblemPackageImpl.getAnnotationArgument()
• Constant Field Values

ANNOTATION_ARGUMENT__VALUE

static final int ANNOTATION_ARGUMENT__VALUE

The feature id for the 'Value' containment reference.

See Also:

• Constant Field Values

ANNOTATION_ARGUMENT__PARAMETER

static final int ANNOTATION_ARGUMENT__PARAMETER

The feature id for the 'Parameter' reference.

See Also:

• Constant Field Values

ANNOTATION_ARGUMENT_FEATURE_COUNT

static final int ANNOTATION_ARGUMENT_FEATURE_COUNT

The number of structural features of the 'Annotation Argument' class.

See Also:

• Constant Field Values

ANNOTATION_ARGUMENT_OPERATION_COUNT

static final int ANNOTATION_ARGUMENT_OPERATION_COUNT

The number of operations of the 'Annotation Argument' class.

See Also:

• Constant Field Values

TOP_LEVEL_ANNOTATION

static final int TOP_LEVEL_ANNOTATION

The meta object id for the 'Top Level Annotation' class.

See Also:

• TopLevelAnnotationImpl
• ProblemPackageImpl.getTopLevelAnnotation()
• Constant Field Values

TOP_LEVEL_ANNOTATION__ANNOTATION

static final int TOP_LEVEL_ANNOTATION__ANNOTATION

The feature id for the 'Annotation' containment reference.

See Also:

• Constant Field Values

TOP_LEVEL_ANNOTATION_FEATURE_COUNT

static final int TOP_LEVEL_ANNOTATION_FEATURE_COUNT

The number of structural features of the 'Top Level Annotation' class.

See Also:

• Constant Field Values

TOP_LEVEL_ANNOTATION_OPERATION_COUNT

static final int TOP_LEVEL_ANNOTATION_OPERATION_COUNT

The number of operations of the 'Top Level Annotation' class.

See Also:

• Constant Field Values

LOGIC_VALUE

static final int LOGIC_VALUE

The meta object id for the 'Logic Value' enum.

See Also:

• LogicValue
• ProblemPackageImpl.getLogicValue()
• Constant Field Values

COMPARISON_OP

static final int COMPARISON_OP

The meta object id for the 'Comparison Op' enum.

See Also:

• ComparisonOp
• ProblemPackageImpl.getComparisonOp()
• Constant Field Values

REFERENCE_KIND

static final int REFERENCE_KIND

The meta object id for the 'Reference Kind' enum.

See Also:

• ReferenceKind
• ProblemPackageImpl.getReferenceKind()
• Constant Field Values

UNARY_OP

static final int UNARY_OP

The meta object id for the 'Unary Op' enum.

See Also:

• UnaryOp
• ProblemPackageImpl.getUnaryOp()
• Constant Field Values

BINARY_OP

static final int BINARY_OP

The meta object id for the 'Binary Op' enum.

See Also:

• BinaryOp
• ProblemPackageImpl.getBinaryOp()
• Constant Field Values

MODULE_KIND

static final int MODULE_KIND

The meta object id for the 'Module Kind' enum.

See Also:

• ModuleKind
• ProblemPackageImpl.getModuleKind()
• Constant Field Values

NODE_KIND

static final int NODE_KIND

The meta object id for the 'Node Kind' enum.

See Also:

• NodeKind
• ProblemPackageImpl.getNodeKind()
• Constant Field Values

LATTICE_BINARY_OP

static final int LATTICE_BINARY_OP

The meta object id for the 'Lattice Binary Op' enum.

See Also:

• LatticeBinaryOp
• ProblemPackageImpl.getLatticeBinaryOp()
• Constant Field Values

MODALITY

static final int MODALITY

The meta object id for the 'Modality' enum.

See Also:

• Modality
• ProblemPackageImpl.getModality()
• Constant Field Values

CONCRETENESS

static final int CONCRETENESS

The meta object id for the 'Concreteness' enum.

See Also:

• Concreteness
• ProblemPackageImpl.getConcreteness()
• Constant Field Values

RULE_KIND

static final int RULE_KIND

The meta object id for the 'Rule Kind' enum.

See Also:

• RuleKind
• ProblemPackageImpl.getRuleKind()
• Constant Field Values

PREDICATE_KIND

static final int PREDICATE_KIND

The meta object id for the 'Predicate Kind' enum.

See Also:

• PredicateKind
• ProblemPackageImpl.getPredicateKind()
• Constant Field Values

PARAMETER_KIND

static final int PARAMETER_KIND

The meta object id for the 'Parameter Kind' enum.

See Also:

• ParameterKind
• ProblemPackageImpl.getParameterKind()
• Constant Field Values

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:

• Problem

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:

• Problem.getNodes()
• getProblem()

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:

• Problem.getStatements()
• getProblem()

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:

• Problem.getKind()
• getProblem()

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:

• Problem.isExplicitKind()
• getProblem()

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:

• ClassDeclaration

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:

• ClassDeclaration.isAbstract()
• getClassDeclaration()

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:

• ClassDeclaration.getFeatureDeclarations()
• getClassDeclaration()

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:

• ClassDeclaration.getNewNode()
• getClassDeclaration()

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:

• ClassDeclaration.getSuperTypes()
• getClassDeclaration()

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:

• ReferenceDeclaration

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:

• ReferenceDeclaration.getOpposite()
• getReferenceDeclaration()

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:

• ReferenceDeclaration.getMultiplicity()
• getReferenceDeclaration()

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:

• ReferenceDeclaration.getKind()
• getReferenceDeclaration()

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:

• ReferenceDeclaration.getReferenceType()
• getReferenceDeclaration()

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:

• ReferenceDeclaration.getInvalidMultiplicity()
• getReferenceDeclaration()

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:

• ReferenceDeclaration.getSuperSets()
• getReferenceDeclaration()

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:

• NamedElement

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:

• NamedElement.getName()
• getNamedElement()

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:

• PredicateDefinition

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:

• PredicateDefinition.getBodies()
• getPredicateDefinition()

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:

• PredicateDefinition.getKind()
• getPredicateDefinition()

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:

• PredicateDefinition.getComputedValue()
• getPredicateDefinition()

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:

• PredicateDefinition.getSuperSets()
• getPredicateDefinition()

getParameter

org.eclipse.emf.ecore.EClass getParameter()

Returns the meta object for class 'Parameter'.

Returns:

the meta object for class 'Parameter'.

See Also:

• Parameter

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:

• Parameter.getParameterType()
• getParameter()

getParameter_Kind

org.eclipse.emf.ecore.EAttribute getParameter_Kind()

Returns the meta object for the attribute 'Kind'.

Returns:

the meta object for the attribute 'Kind'.

See Also:

• Parameter.getKind()
• getParameter()

getVariable

org.eclipse.emf.ecore.EClass getVariable()

Returns the meta object for class 'Variable'.

Returns:

the meta object for class 'Variable'.

See Also:

• Variable

getAtom

org.eclipse.emf.ecore.EClass getAtom()

Returns the meta object for class 'Atom'.

Returns:

the meta object for class 'Atom'.

See Also:

• Atom

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:

• Atom.isTransitiveClosure()
• getAtom()

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:

• Atom.getArguments()
• getAtom()

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:

• Atom.getRelation()
• getAtom()

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:

• ImplicitVariable

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:

• ExistentialQuantifier

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:

• ExistentialQuantifier.getImplicitVariables()
• getExistentialQuantifier()

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:

• AbstractAssertion

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:

• AbstractAssertion.getArguments()
• getAbstractAssertion()

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:

• AbstractAssertion.getRelation()
• getAbstractAssertion()

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:

• AbstractAssertion.getValue()
• getAbstractAssertion()

getNode

org.eclipse.emf.ecore.EClass getNode()

Returns the meta object for class 'Node'.

Returns:

the meta object for class 'Node'.

See Also:

• Node

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:

• ScopeDeclaration

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:

• ScopeDeclaration.getTypeScopes()
• getScopeDeclaration()

getStatement

org.eclipse.emf.ecore.EClass getStatement()

Returns the meta object for class 'Statement'.

Returns:

the meta object for class 'Statement'.

See Also:

• Statement

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:

• TypeScope

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:

• TypeScope.isIncrement()
• getTypeScope()

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:

• TypeScope.getMultiplicity()
• getTypeScope()

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:

• TypeScope.getTargetType()
• getTypeScope()

getMultiplicity

org.eclipse.emf.ecore.EClass getMultiplicity()

Returns the meta object for class 'Multiplicity'.

Returns:

the meta object for class 'Multiplicity'.

See Also:

• Multiplicity

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:

• RangeMultiplicity

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:

• RangeMultiplicity.getLowerBound()
• getRangeMultiplicity()

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:

• RangeMultiplicity.getUpperBound()
• getRangeMultiplicity()

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:

• ExactMultiplicity

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:

• ExactMultiplicity.getExactValue()
• getExactMultiplicity()

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:

• UnboundedMultiplicity

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:

• EnumDeclaration

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:

• EnumDeclaration.getLiterals()
• getEnumDeclaration()

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:

• VariableOrNode

getConstant

org.eclipse.emf.ecore.EClass getConstant()

Returns the meta object for class 'Constant'.

Returns:

the meta object for class 'Constant'.

See Also:

• Constant

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:

• IntConstant

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:

• IntConstant.getIntValue()
• getIntConstant()

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:

• RealConstant

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:

• RealConstant.getRealValue()
• getRealConstant()

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:

• StringConstant

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:

• StringConstant.getStringValue()
• getStringConstant()

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:

• NodeAssertionArgument

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:

• NodeAssertionArgument.getNode()
• getNodeAssertionArgument()

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:

• AssertionArgument

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:

• NodeDeclaration

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:

• NodeDeclaration.getNodes()
• getNodeDeclaration()

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:

• NodeDeclaration.getKind()
• getNodeDeclaration()

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:

• WildcardAssertionArgument

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:

• ParametricDefinition

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:

• ParametricDefinition.getParameters()
• getParametricDefinition()

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:

• RuleDefinition

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:

• RuleDefinition.getConsequents()
• getRuleDefinition()

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:

• RuleDefinition.getPreconditions()
• getRuleDefinition()

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:

• RuleDefinition.getKind()
• getRuleDefinition()

getConsequent

org.eclipse.emf.ecore.EClass getConsequent()

Returns the meta object for class 'Consequent'.

Returns:

the meta object for class 'Consequent'.

See Also:

• Consequent

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:

• Consequent.getActions()
• getConsequent()

getAction

org.eclipse.emf.ecore.EClass getAction()

Returns the meta object for class 'Action'.

Returns:

the meta object for class 'Action'.

See Also:

• Action

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:

• AssertionAction

getExpr

org.eclipse.emf.ecore.EClass getExpr()

Returns the meta object for class 'Expr'.

Returns:

the meta object for class 'Expr'.

See Also:

• Expr

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:

• VariableOrNodeExpr

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:

• VariableOrNodeExpr.getVariableOrNode()
• getVariableOrNodeExpr()

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:

• VariableOrNodeExpr.getSingletonVariable()
• getVariableOrNodeExpr()

getVariableOrNodeExpr_Relation

org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_Relation()

Returns the meta object for the reference 'Relation'.

Returns:

the meta object for the reference 'Relation'.

See Also:

• VariableOrNodeExpr.getRelation()
• getVariableOrNodeExpr()

getVariableOrNodeExpr_Element

org.eclipse.emf.ecore.EReference getVariableOrNodeExpr_Element()

Returns the meta object for the reference 'Element'.

Returns:

the meta object for the reference 'Element'.

See Also:

• VariableOrNodeExpr.getElement()
• getVariableOrNodeExpr()

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:

• BinaryExpr

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:

• BinaryExpr.getLeft()
• getBinaryExpr()

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:

• BinaryExpr.getRight()
• getBinaryExpr()

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:

• UnaryExpr

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:

• UnaryExpr.getBody()
• getUnaryExpr()

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:

• ArithmeticUnaryExpr

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:

• ArithmeticUnaryExpr.getOp()
• getArithmeticUnaryExpr()

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:

• AggregationExpr

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:

• AggregationExpr.getValue()
• getAggregationExpr()

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:

• AggregationExpr.getCondition()
• getAggregationExpr()

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:

• AggregationExpr.getAggregator()
• getAggregationExpr()

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:

• ComparisonExpr

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:

• ComparisonExpr.getOp()
• getComparisonExpr()

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:

• QuantifiedUnaryExpr

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:

• FunctionDefinition

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:

• FunctionDefinition.getCases()
• getFunctionDefinition()

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:

• FunctionDefinition.getFunctionType()
• getFunctionDefinition()

getCase

org.eclipse.emf.ecore.EClass getCase()

Returns the meta object for class 'Case'.

Returns:

the meta object for class 'Case'.

See Also:

• Case

getConjunction

org.eclipse.emf.ecore.EClass getConjunction()

Returns the meta object for class 'Conjunction'.

Returns:

the meta object for class 'Conjunction'.

See Also:

• Conjunction

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:

• Conjunction.getLiterals()
• getConjunction()

getMatch

org.eclipse.emf.ecore.EClass getMatch()

Returns the meta object for class 'Match'.

Returns:

the meta object for class 'Match'.

See Also:

• Match

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:

• Match.getCondition()
• getMatch()

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:

• Match.getValue()
• getMatch()

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:

• ArithmeticBinaryExpr

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:

• ArithmeticBinaryExpr.getOp()
• getArithmeticBinaryExpr()

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:

• NegationExpr

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:

• CountExpr

getRelation

org.eclipse.emf.ecore.EClass getRelation()

Returns the meta object for class 'Relation'.

Returns:

the meta object for class 'Relation'.

See Also:

• Relation

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:

• RangeExpr

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:

• LogicConstant

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:

• LogicConstant.getLogicValue()
• getLogicConstant()

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:

• ImportStatement

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:

• ImportStatement.getImportedModule()
• getImportStatement()

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:

• ImportStatement.getAlias()
• getImportStatement()

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:

• DatatypeDeclaration

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:

• LatticeBinaryExpr

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:

• LatticeBinaryExpr.getOp()
• getLatticeBinaryExpr()

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:

• CastExpr

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:

• CastExpr.getBody()
• getCastExpr()

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:

• CastExpr.getTargetType()
• getCastExpr()

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:

• AssignmentExpr

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:

• InfiniteConstant

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:

• AggregatorDeclaration

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:

• ModalExpr

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:

• ModalExpr.getConcreteness()
• getModalExpr()

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:

• ModalExpr.getModality()
• getModalExpr()

getAssertion

org.eclipse.emf.ecore.EClass getAssertion()

Returns the meta object for class 'Assertion'.

Returns:

the meta object for class 'Assertion'.

See Also:

• Assertion

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:

• Assertion.isDefault()
• getAssertion()

getAnnotatedElement

org.eclipse.emf.ecore.EClass getAnnotatedElement()

Returns the meta object for class 'Annotated Element'.

Returns:

the meta object for class 'Annotated Element'.

See Also:

• AnnotatedElement

getAnnotatedElement_Annotations

org.eclipse.emf.ecore.EReference getAnnotatedElement_Annotations()

Returns the meta object for the containment reference 'Annotations'.

Returns:

the meta object for the containment reference 'Annotations'.

See Also:

• AnnotatedElement.getAnnotations()
• getAnnotatedElement()

getAnnotationContainer

org.eclipse.emf.ecore.EClass getAnnotationContainer()

Returns the meta object for class 'Annotation Container'.

Returns:

the meta object for class 'Annotation Container'.

See Also:

• AnnotationContainer

getAnnotationContainer_Annotations

org.eclipse.emf.ecore.EReference getAnnotationContainer_Annotations()

Returns the meta object for the containment reference list 'Annotations'.

Returns:

the meta object for the containment reference list 'Annotations'.

See Also:

• AnnotationContainer.getAnnotations()
• getAnnotationContainer()

getAnnotationDeclaration

org.eclipse.emf.ecore.EClass getAnnotationDeclaration()

Returns the meta object for class 'Annotation Declaration'.

Returns:

the meta object for class 'Annotation Declaration'.

See Also:

• AnnotationDeclaration

getAnnotation

org.eclipse.emf.ecore.EClass getAnnotation()

Returns the meta object for class 'Annotation'.

Returns:

the meta object for class 'Annotation'.

See Also:

• Annotation

getAnnotation_Declaration

org.eclipse.emf.ecore.EReference getAnnotation_Declaration()

Returns the meta object for the reference 'Declaration'.

Returns:

the meta object for the reference 'Declaration'.

See Also:

• Annotation.getDeclaration()
• getAnnotation()

getAnnotation_Arguments

org.eclipse.emf.ecore.EReference getAnnotation_Arguments()

Returns the meta object for the containment reference list 'Arguments'.

Returns:

the meta object for the containment reference list 'Arguments'.

See Also:

• Annotation.getArguments()
• getAnnotation()

getAnnotationArgument

org.eclipse.emf.ecore.EClass getAnnotationArgument()

Returns the meta object for class 'Annotation Argument'.

Returns:

the meta object for class 'Annotation Argument'.

See Also:

• AnnotationArgument

getAnnotationArgument_Value

org.eclipse.emf.ecore.EReference getAnnotationArgument_Value()

Returns the meta object for the containment reference 'Value'.

Returns:

the meta object for the containment reference 'Value'.

See Also:

• AnnotationArgument.getValue()
• getAnnotationArgument()

getAnnotationArgument_Parameter

org.eclipse.emf.ecore.EReference getAnnotationArgument_Parameter()

Returns the meta object for the reference 'Parameter'.

Returns:

the meta object for the reference 'Parameter'.

See Also:

• AnnotationArgument.getParameter()
• getAnnotationArgument()

getTopLevelAnnotation

org.eclipse.emf.ecore.EClass getTopLevelAnnotation()

Returns the meta object for class 'Top Level Annotation'.

Returns:

the meta object for class 'Top Level Annotation'.

See Also:

• TopLevelAnnotation

getTopLevelAnnotation_Annotation

org.eclipse.emf.ecore.EReference getTopLevelAnnotation_Annotation()

Returns the meta object for the containment reference 'Annotation'.

Returns:

the meta object for the containment reference 'Annotation'.

See Also:

• TopLevelAnnotation.getAnnotation()
• getTopLevelAnnotation()

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:

• LogicValue

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:

• ComparisonOp

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:

• ReferenceKind

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:

• UnaryOp

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:

• BinaryOp

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:

• ModuleKind

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:

• NodeKind

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:

• LatticeBinaryOp

getModality

org.eclipse.emf.ecore.EEnum getModality()

Returns the meta object for enum 'Modality'.

Returns:

the meta object for enum 'Modality'.

See Also:

• Modality

getConcreteness

org.eclipse.emf.ecore.EEnum getConcreteness()

Returns the meta object for enum 'Concreteness'.

Returns:

the meta object for enum 'Concreteness'.

See Also:

• Concreteness

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:

• RuleKind

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:

• PredicateKind

getParameterKind

org.eclipse.emf.ecore.EEnum getParameterKind()

Returns the meta object for enum 'Parameter Kind'.

Returns:

the meta object for enum 'Parameter Kind'.

See Also:

• ParameterKind

getProblemFactory

ProblemFactory getProblemFactory()

Returns the factory that creates the instances of the model.

Returns:

the factory that creates the instances of the model.