Uses of Class
org.eclipse.ocl.examples.library.integer.IntegerMinusOperation

Packages that use IntegerMinusOperation

org.eclipse.ocl.examples.library.integer

Uses of IntegerMinusOperation in org.eclipse.ocl.examples.library.integer

Fields in org.eclipse.ocl.examples.library.integer declared as IntegerMinusOperation

static IntegerMinusOperation

IntegerMinusOperation.INSTANCE