All Classes and Interfaces

Class
Description
A representation of the model object 'Abstract Assertion'.
An implementation of the model object 'Abstract Assertion'.
A representation of the model object 'Action'.
A representation of the model object 'Aggregation Expr'.
An implementation of the model object 'Aggregation Expr'.
A representation of the model object 'Aggregator Declaration'.
An implementation of the model object 'Aggregator Declaration'.
A representation of the model object 'Arithmetic Binary Expr'.
An implementation of the model object 'Arithmetic Binary Expr'.
A representation of the model object 'Arithmetic Unary Expr'.
An implementation of the model object 'Arithmetic Unary Expr'.
A representation of the model object 'Assertion'.
A representation of the model object 'Assertion Action'.
An implementation of the model object 'Assertion Action'.
A representation of the model object 'Assertion Argument'.
An implementation of the model object 'Assertion Argument'.
An implementation of the model object 'Assertion'.
A representation of the model object 'Assignment Expr'.
An implementation of the model object 'Assignment Expr'.
A representation of the model object 'Atom'.
An implementation of the model object 'Atom'.
A representation of the model object 'Binary Expr'.
An implementation of the model object 'Binary Expr'.
A representation of the literals of the enumeration 'Binary Op', and utility methods for working with them.
A representation of the model object 'Case'.
An implementation of the model object 'Case'.
A representation of the model object 'Cast Expr'.
An implementation of the model object 'Cast Expr'.
A representation of the model object 'Class Declaration'.
An implementation of the model object 'Class Declaration'.
A representation of the model object 'Comparison Expr'.
An implementation of the model object 'Comparison Expr'.
A representation of the literals of the enumeration 'Comparison Op', and utility methods for working with them.
A representation of the literals of the enumeration 'Concreteness', and utility methods for working with them.
A representation of the model object 'Conjunction'.
An implementation of the model object 'Conjunction'.
A representation of the model object 'Consequent'.
An implementation of the model object 'Consequent'.
A representation of the model object 'Constant'.
An implementation of the model object 'Constant'.
A representation of the model object 'Count Expr'.
An implementation of the model object 'Count Expr'.
A representation of the model object 'Datatype Declaration'.
An implementation of the model object 'Datatype Declaration'.
A representation of the model object 'Enum Declaration'.
An implementation of the model object 'Enum Declaration'.
A representation of the model object 'Exact Multiplicity'.
An implementation of the model object 'Exact Multiplicity'.
A representation of the model object 'Existential Quantifier'.
A representation of the model object 'Expr'.
An implementation of the model object 'Expr'.
A representation of the model object 'Function Definition'.
An implementation of the model object 'Function Definition'.
A representation of the model object 'Implicit Variable'.
An implementation of the model object 'Implicit Variable'.
A representation of the model object 'Import Statement'.
An implementation of the model object 'Import Statement'.
A representation of the model object 'Infinite Constant'.
An implementation of the model object 'Infinite Constant'.
A representation of the model object 'Int Constant'.
An implementation of the model object 'Int Constant'.
A representation of the model object 'Lattice Binary Expr'.
An implementation of the model object 'Lattice Binary Expr'.
A representation of the literals of the enumeration 'Lattice Binary Op', and utility methods for working with them.
A representation of the model object 'Logic Constant'.
An implementation of the model object 'Logic Constant'.
A representation of the literals of the enumeration 'Logic Value', and utility methods for working with them.
A representation of the model object 'Match'.
An implementation of the model object 'Match'.
A representation of the model object 'Modal Expr'.
An implementation of the model object 'Modal Expr'.
A representation of the literals of the enumeration 'Modality', and utility methods for working with them.
A representation of the literals of the enumeration 'Module Kind', and utility methods for working with them.
A representation of the model object 'Multiplicity'.
An implementation of the model object 'Multiplicity'.
A representation of the model object 'Named Element'.
An implementation of the model object 'Named Element'.
A representation of the model object 'Negation Expr'.
An implementation of the model object 'Negation Expr'.
A representation of the model object 'Node'.
A representation of the model object 'Node Assertion Argument'.
An implementation of the model object 'Node Assertion Argument'.
A representation of the model object 'Node Declaration'.
An implementation of the model object 'Node Declaration'.
An implementation of the model object 'Node'.
A representation of the literals of the enumeration 'Node Kind', and utility methods for working with them.
A representation of the model object 'Parameter'.
A representation of the literals of the enumeration 'Parameter Binding', and utility methods for working with them.
An implementation of the model object 'Parameter'.
A representation of the model object 'Parametric Definition'.
A representation of the model object 'Predicate Definition'.
An implementation of the model object 'Predicate Definition'.
A representation of the literals of the enumeration 'Predicate Kind', and utility methods for working with them.
A representation of the model object 'Problem'.
The Adapter Factory for the model.
The Factory for the model.
An implementation of the model Factory.
An implementation of the model object 'Problem'.
The Package for the model.
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
An implementation of the model Package.
The Resource Factory associated with the package.
The Resource associated with the package.
The Switch for the model's inheritance hierarchy.
A representation of the model object 'Quantified Unary Expr'.
An implementation of the model object 'Quantified Unary Expr'.
A representation of the model object 'Range Expr'.
An implementation of the model object 'Range Expr'.
A representation of the model object 'Range Multiplicity'.
An implementation of the model object 'Range Multiplicity'.
A representation of the model object 'Real Constant'.
An implementation of the model object 'Real Constant'.
A representation of the model object 'Reference Declaration'.
An implementation of the model object 'Reference Declaration'.
A representation of the literals of the enumeration 'Reference Kind', and utility methods for working with them.
A representation of the model object 'Relation'.
An implementation of the model object 'Relation'.
A representation of the model object 'Rule Definition'.
An implementation of the model object 'Rule Definition'.
A representation of the literals of the enumeration 'Rule Kind', and utility methods for working with them.
A representation of the model object 'Scope Declaration'.
An implementation of the model object 'Scope Declaration'.
A representation of the model object 'Statement'.
A representation of the model object 'String Constant'.
An implementation of the model object 'String Constant'.
A representation of the model object 'Type Scope'.
An implementation of the model object 'Type Scope'.
A representation of the model object 'Unary Expr'.
An implementation of the model object 'Unary Expr'.
A representation of the literals of the enumeration 'Unary Op', and utility methods for working with them.
A representation of the model object 'Unbounded Multiplicity'.
An implementation of the model object 'Unbounded Multiplicity'.
A representation of the model object 'Variable'.
An implementation of the model object 'Variable'.
A representation of the model object 'Variable Or Node'.
A representation of the model object 'Variable Or Node Expr'.
An implementation of the model object 'Variable Or Node Expr'.
An implementation of the model object 'Variable Or Node'.
A representation of the model object 'Wildcard Assertion Argument'.
An implementation of the model object 'Wildcard Assertion Argument'.