Package tools.refinery.language.model.problem
package tools.refinery.language.model.problem
-
ClassDescriptionA representation of the model object 'Abstract Assertion'.A representation of the model object 'Action'.A representation of the model object 'Aggregation Expr'.A representation of the model object 'Aggregator Declaration'.A representation of the model object 'Arithmetic Binary Expr'.A representation of the model object 'Arithmetic Unary Expr'.A representation of the model object 'Assertion'.A representation of the model object 'Assertion Action'.A representation of the model object 'Assertion Argument'.A representation of the model object 'Assignment Expr'.A representation of the model object 'Atom'.A representation 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'.A representation of the model object 'Cast Expr'.A representation of the model object 'Class Declaration'.A representation 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'.A representation of the model object 'Consequent'.A representation of the model object 'Constant'.A representation of the model object 'Count Expr'.A representation of the model object 'Datatype Declaration'.A representation of the model object 'Enum Declaration'.A representation of the model object 'Exact Multiplicity'.A representation of the model object 'Existential Quantifier'.A representation of the model object 'Expr'.A representation of the model object 'Function Definition'.A representation of the model object 'Implicit Variable'.A representation of the model object 'Import Statement'.A representation of the model object 'Infinite Constant'.A representation of the model object 'Int Constant'.A representation 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'.A representation of the literals of the enumeration 'Logic Value', and utility methods for working with them.A representation of the model object 'Match'.A representation 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'.A representation of the model object 'Named Element'.A representation of the model object 'Negation Expr'.A representation of the model object 'Node'.A representation of the model object 'Node Assertion Argument'.A representation of the model object 'Node Declaration'.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.A representation of the model object 'Parametric Definition'.A representation of the model object 'Predicate Definition'.A representation of the model object 'Problem'.The Factory for the model.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 typeA representation of the model object 'Quantified Unary Expr'.A representation of the model object 'Range Expr'.A representation of the model object 'Range Multiplicity'.A representation of the model object 'Real Constant'.A representation 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'.A representation 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'.A representation of the model object 'Statement'.A representation of the model object 'String Constant'.A representation of the model object 'Type Scope'.A representation 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'.A representation of the model object 'Variable'.A representation of the model object 'Variable Or Node'.A representation of the model object 'Variable Or Node Expr'.A representation of the model object 'Wildcard Assertion Argument'.