Package org.eclipse.ocl.examples.library.integer

Class Summary
IntegerCompareToOperation Deprecated.
IntegerMinusOperation Deprecated.
IntegerPlusOperation Deprecated.