org.eclipse.ocl.examples.domain.evaluation
Interfaces 
DomainEvaluationEnvironment
DomainEvaluationVisitor
DomainEvaluator
DomainIterationManager
DomainModelManager
Exceptions 
DomainException
EvaluationHaltedException
InvalidEvaluationException
InvalidValueException