org.eclipse.ocl.examples.library.real
Classes
RealCompareToOperation
RealMinusOperation
RealPlusOperation