org.eclipse.ocl.examples.domain.evaluation

Interfaces

• DomainEvaluationEnvironment
• DomainEvaluationVisitor
• DomainEvaluator
• DomainIterationManager
• DomainLogger
• DomainModelManager

Classes

• AbstractTransformation

Exceptions

• DomainException
• EvaluationHaltedException
• InvalidEvaluationException