|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| BagExpression | Represents an OCL expression of type Bag. |
| BooleanExpression | Represents an OCL expression of type Boolean. |
| ClassTypeExpression | Represents an OCL expression whose type is a class. |
| CollectionExpression | Represents an OCL expression of type Collection. |
| Constant<T> | Represents a constant value. |
| Declaration | Represents an entity that can be added to a Problem. |
| Expression | Represents an OCL expression. |
| IntegerExpression | Represents an OCL expression of type Integer. |
| IteratorBody<T extends Expression> | Represents a body of an OCL iterator expression. |
| OclAnyExpression | Represents an OCL expression of type OclAny. |
| OclInvalidExpression | Represents an OCL expression of type OclInvalid. |
| OclVoidExpression | Represents an OCL expression of type OclVoid. |
| OrderedSetExpression | Represents an OCL expression of type OrderedSet. |
| Property | Represents a (UML) property. |
| SequenceExpression | Represents an OCL expression of type Sequence. |
| SetExpression | Represents an OCL expression of type Set. |
| StringExpression | Represents an OCL expression of type String. |
| Variable<T> | Represents a variable that holds a value of some OCL type. |
| Class Summary | |
|---|---|
| ClassEncoding | Represents an encoding of a class diagram. |
| Classifier<T extends Expression> | Represents an OCL type. |
| ClassifierFactory<CID> | A factory for Classifiers representing OCL types. |
| ClassInstance | Represents a class instance. |
| ClassTranslatorBase<T,TID> | A base class for a translator that can create a ClassifierFactory from a class diagram. |
| ExpressionFactory | A factory for OCL expressions. |
| Multiplicity | Represents a multiplicity. |
| Problem | Represents an OCL constraint satisfaction problem. |
| PropertyContainer<PID,CID> | Represents a container for (UML) properties. |
| PropertyFactory<CID> | Represents a factory for (UML) properties. |
| TypeHierarchy<T,TID> | Represents a type hierarchy. |
Provides support for solving OCL constraints.
The class Problem encapsulates a constraint satisfaction problem.
Instances of BooleanExpression can be added to Problem instances
to build the constraint satisfaction problem. After calling Problem.solve(),
a solution can be accessed by calling Expression.evaluate() on the subexpressions constituting
the individual constraints.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||