Package krieger.oclsolve

Provides support for solving OCL constraints.

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.

Package krieger.oclsolve Description

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.