org.eclipse.ocl.examples.library
Interfaces 
LibraryBinaryOperation
LibraryFeature
LibraryIteration
LibraryOperation
LibraryProperty
LibraryTernaryOperation
LibraryUnaryOperation
Classes 
AbstractBinaryOperation
AbstractFeature
AbstractIteration
AbstractOperation
AbstractTernaryOperation
AbstractUnaryOperation
IterationManager
ValidationWarning