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

Packages that use NumericTimesOperation

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

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

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

Modifier and Type	Field and Description
static NumericTimesOperation	NumericTimesOperation.INSTANCE