org.eclipse.ocl.examples.impactanalyzer

Interfaces

• DerivedPropertyNotifier
• ImpactAnalyzer
• ImpactAnalyzerFactory
• PartialEvaluator
• PartialEvaluatorFactory

Classes

• Revalidator

Exceptions

• ValueNotFoundException