Uses of Class
org.eclipse.ocl.pivot.library.numeric.NumericDivideOperation

Packages that use NumericDivideOperation

Package	Description
org.eclipse.ocl.pivot.library.numeric

Uses of NumericDivideOperation in org.eclipse.ocl.pivot.library.numeric

Fields in org.eclipse.ocl.pivot.library.numeric declared as NumericDivideOperation

Modifier and Type	Field and Description
static NumericDivideOperation	NumericDivideOperation.INSTANCE