org.eclipse.ocl.pivot.evaluation
Interfaces
EvaluationEnvironment
EvaluationLogger
EvaluationVisitor
Evaluator
IterationManager
ModelManager
Classes
AbstractConstraintEvaluator
Exceptions
EvaluationException
EvaluationHaltedException