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

Packages that use NumericMaxOperation

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

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

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

Modifier and Type	Field and Description
static NumericMaxOperation	NumericMaxOperation.INSTANCE