krieger.oclsolve
Interfaces 
BagExpression
BooleanExpression
ClassTypeExpression
CollectionExpression
Constant
Declaration
Expression
IntegerExpression
IteratorBody
OclAnyExpression
OclInvalidExpression
OclVoidExpression
OrderedSetExpression
Property
SequenceExpression
SetExpression
StringExpression
Variable
Classes 
ClassEncoding
Classifier
ClassifierFactory
ClassInstance
ClassTranslatorBase
ExpressionFactory
Multiplicity
Problem
PropertyContainer
PropertyFactory
TypeHierarchy