All Classes and Interfaces

Class	Description
AbstractAssertion	A representation of the model object 'Abstract Assertion'.
AbstractAssertionImpl	An implementation of the model object 'Abstract Assertion'.
Action	A representation of the model object 'Action'.
AggregationExpr	A representation of the model object 'Aggregation Expr'.
AggregationExprImpl	An implementation of the model object 'Aggregation Expr'.
AggregatorDeclaration	A representation of the model object 'Aggregator Declaration'.
AggregatorDeclarationImpl	An implementation of the model object 'Aggregator Declaration'.
ArithmeticBinaryExpr	A representation of the model object 'Arithmetic Binary Expr'.
ArithmeticBinaryExprImpl	An implementation of the model object 'Arithmetic Binary Expr'.
ArithmeticUnaryExpr	A representation of the model object 'Arithmetic Unary Expr'.
ArithmeticUnaryExprImpl	An implementation of the model object 'Arithmetic Unary Expr'.
Assertion	A representation of the model object 'Assertion'.
AssertionAction	A representation of the model object 'Assertion Action'.
AssertionActionImpl	An implementation of the model object 'Assertion Action'.
AssertionArgument	A representation of the model object 'Assertion Argument'.
AssertionArgumentImpl	An implementation of the model object 'Assertion Argument'.
AssertionImpl	An implementation of the model object 'Assertion'.
AssignmentExpr	A representation of the model object 'Assignment Expr'.
AssignmentExprImpl	An implementation of the model object 'Assignment Expr'.
Atom	A representation of the model object 'Atom'.
AtomImpl	An implementation of the model object 'Atom'.
BinaryExpr	A representation of the model object 'Binary Expr'.
BinaryExprImpl	An implementation of the model object 'Binary Expr'.
BinaryOp	A representation of the literals of the enumeration 'Binary Op', and utility methods for working with them.
Case	A representation of the model object 'Case'.
CaseImpl	An implementation of the model object 'Case'.
CastExpr	A representation of the model object 'Cast Expr'.
CastExprImpl	An implementation of the model object 'Cast Expr'.
ClassDeclaration	A representation of the model object 'Class Declaration'.
ClassDeclarationImpl	An implementation of the model object 'Class Declaration'.
ComparisonExpr	A representation of the model object 'Comparison Expr'.
ComparisonExprImpl	An implementation of the model object 'Comparison Expr'.
ComparisonOp	A representation of the literals of the enumeration 'Comparison Op', and utility methods for working with them.
Concreteness	A representation of the literals of the enumeration 'Concreteness', and utility methods for working with them.
Conjunction	A representation of the model object 'Conjunction'.
ConjunctionImpl	An implementation of the model object 'Conjunction'.
Consequent	A representation of the model object 'Consequent'.
ConsequentImpl	An implementation of the model object 'Consequent'.
Constant	A representation of the model object 'Constant'.
ConstantImpl	An implementation of the model object 'Constant'.
CountExpr	A representation of the model object 'Count Expr'.
CountExprImpl	An implementation of the model object 'Count Expr'.
DatatypeDeclaration	A representation of the model object 'Datatype Declaration'.
DatatypeDeclarationImpl	An implementation of the model object 'Datatype Declaration'.
EnumDeclaration	A representation of the model object 'Enum Declaration'.
EnumDeclarationImpl	An implementation of the model object 'Enum Declaration'.
ExactMultiplicity	A representation of the model object 'Exact Multiplicity'.
ExactMultiplicityImpl	An implementation of the model object 'Exact Multiplicity'.
ExistentialQuantifier	A representation of the model object 'Existential Quantifier'.
Expr	A representation of the model object 'Expr'.
ExprImpl	An implementation of the model object 'Expr'.
FunctionDefinition	A representation of the model object 'Function Definition'.
FunctionDefinitionImpl	An implementation of the model object 'Function Definition'.
ImplicitVariable	A representation of the model object 'Implicit Variable'.
ImplicitVariableImpl	An implementation of the model object 'Implicit Variable'.
ImportStatement	A representation of the model object 'Import Statement'.
ImportStatementImpl	An implementation of the model object 'Import Statement'.
InfiniteConstant	A representation of the model object 'Infinite Constant'.
InfiniteConstantImpl	An implementation of the model object 'Infinite Constant'.
IntConstant	A representation of the model object 'Int Constant'.
IntConstantImpl	An implementation of the model object 'Int Constant'.
LatticeBinaryExpr	A representation of the model object 'Lattice Binary Expr'.
LatticeBinaryExprImpl	An implementation of the model object 'Lattice Binary Expr'.
LatticeBinaryOp	A representation of the literals of the enumeration 'Lattice Binary Op', and utility methods for working with them.
LogicConstant	A representation of the model object 'Logic Constant'.
LogicConstantImpl	An implementation of the model object 'Logic Constant'.
LogicValue	A representation of the literals of the enumeration 'Logic Value', and utility methods for working with them.
Match	A representation of the model object 'Match'.
MatchImpl	An implementation of the model object 'Match'.
ModalExpr	A representation of the model object 'Modal Expr'.
ModalExprImpl	An implementation of the model object 'Modal Expr'.
Modality	A representation of the literals of the enumeration 'Modality', and utility methods for working with them.
ModuleKind	A representation of the literals of the enumeration 'Module Kind', and utility methods for working with them.
Multiplicity	A representation of the model object 'Multiplicity'.
MultiplicityImpl	An implementation of the model object 'Multiplicity'.
NamedElement	A representation of the model object 'Named Element'.
NamedElementImpl	An implementation of the model object 'Named Element'.
NegationExpr	A representation of the model object 'Negation Expr'.
NegationExprImpl	An implementation of the model object 'Negation Expr'.
Node	A representation of the model object 'Node'.
NodeAssertionArgument	A representation of the model object 'Node Assertion Argument'.
NodeAssertionArgumentImpl	An implementation of the model object 'Node Assertion Argument'.
NodeDeclaration	A representation of the model object 'Node Declaration'.
NodeDeclarationImpl	An implementation of the model object 'Node Declaration'.
NodeImpl	An implementation of the model object 'Node'.
NodeKind	A representation of the literals of the enumeration 'Node Kind', and utility methods for working with them.
Parameter	A representation of the model object 'Parameter'.
ParameterBinding	A representation of the literals of the enumeration 'Parameter Binding', and utility methods for working with them.
ParameterImpl	An implementation of the model object 'Parameter'.
ParametricDefinition	A representation of the model object 'Parametric Definition'.
PredicateDefinition	A representation of the model object 'Predicate Definition'.
PredicateDefinitionImpl	An implementation of the model object 'Predicate Definition'.
Problem	A representation of the model object 'Problem'.
ProblemAdapterFactory	The Adapter Factory for the model.
ProblemFactory	The Factory for the model.
ProblemFactoryImpl	An implementation of the model Factory.
ProblemImpl	An implementation of the model object 'Problem'.
ProblemPackage	The Package for the model.
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
ProblemPackageImpl	An implementation of the model Package.
ProblemResourceFactoryImpl	The Resource Factory associated with the package.
ProblemResourceImpl	The Resource associated with the package.
ProblemSwitch<T>	The Switch for the model's inheritance hierarchy.
QuantifiedUnaryExpr	A representation of the model object 'Quantified Unary Expr'.
QuantifiedUnaryExprImpl	An implementation of the model object 'Quantified Unary Expr'.
RangeExpr	A representation of the model object 'Range Expr'.
RangeExprImpl	An implementation of the model object 'Range Expr'.
RangeMultiplicity	A representation of the model object 'Range Multiplicity'.
RangeMultiplicityImpl	An implementation of the model object 'Range Multiplicity'.
RealConstant	A representation of the model object 'Real Constant'.
RealConstantImpl	An implementation of the model object 'Real Constant'.
ReferenceDeclaration	A representation of the model object 'Reference Declaration'.
ReferenceDeclarationImpl	An implementation of the model object 'Reference Declaration'.
ReferenceKind	A representation of the literals of the enumeration 'Reference Kind', and utility methods for working with them.
Relation	A representation of the model object 'Relation'.
RelationImpl	An implementation of the model object 'Relation'.
RuleDefinition	A representation of the model object 'Rule Definition'.
RuleDefinitionImpl	An implementation of the model object 'Rule Definition'.
RuleKind	A representation of the literals of the enumeration 'Rule Kind', and utility methods for working with them.
ScopeDeclaration	A representation of the model object 'Scope Declaration'.
ScopeDeclarationImpl	An implementation of the model object 'Scope Declaration'.
Statement	A representation of the model object 'Statement'.
StringConstant	A representation of the model object 'String Constant'.
StringConstantImpl	An implementation of the model object 'String Constant'.
TypeScope	A representation of the model object 'Type Scope'.
TypeScopeImpl	An implementation of the model object 'Type Scope'.
UnaryExpr	A representation of the model object 'Unary Expr'.
UnaryExprImpl	An implementation of the model object 'Unary Expr'.
UnaryOp	A representation of the literals of the enumeration 'Unary Op', and utility methods for working with them.
UnboundedMultiplicity	A representation of the model object 'Unbounded Multiplicity'.
UnboundedMultiplicityImpl	An implementation of the model object 'Unbounded Multiplicity'.
Variable	A representation of the model object 'Variable'.
VariableImpl	An implementation of the model object 'Variable'.
VariableOrNode	A representation of the model object 'Variable Or Node'.
VariableOrNodeExpr	A representation of the model object 'Variable Or Node Expr'.
VariableOrNodeExprImpl	An implementation of the model object 'Variable Or Node Expr'.
VariableOrNodeImpl	An implementation of the model object 'Variable Or Node'.
WildcardAssertionArgument	A representation of the model object 'Wildcard Assertion Argument'.
WildcardAssertionArgumentImpl	An implementation of the model object 'Wildcard Assertion Argument'.