org.eclipse.ocl.pivot.evaluation
Interfaces
EvaluationEnvironment
EvaluationEnvironment.EvaluationEnvironmentExtension
EvaluationLogger
EvaluationLogger.Indentable
EvaluationVisitor
EvaluationVisitor.EvaluationVisitorExtension
Evaluator
Executor
IterationManager
IterationManager.IterationManagerExtension
ModelManager
ModelManager.ModelManagerExtension
Classes
AbstractConstraintEvaluator
AbstractLogger
AbstractModelManager
IndentingLogger
Exceptions
EvaluationException
EvaluationHaltedException