Package org.eclipse.ocl.examples.domain.evaluation

Interface Summary

DomainEvaluationEnvironment
DomainEvaluationVisitor
DomainEvaluator
DomainIterationManager	DomainIterationManager defines the supervisor for an iteration.
DomainLogger
DomainModelManager	DomainModelManager provides the models to be used during evaluation.

Class Summary

AbstractTransformation

Exception Summary

DomainException
EvaluationHaltedException	Exception indicating a managed interruption of evaluation.
InvalidEvaluationException	Deprecated.