Uses of Class
org.eclipse.ocl.examples.library.collection.CollectionSizeOperation

Packages that use CollectionSizeOperation

org.eclipse.ocl.examples.library.collection

Uses of CollectionSizeOperation in org.eclipse.ocl.examples.library.collection

Fields in org.eclipse.ocl.examples.library.collection declared as CollectionSizeOperation

static CollectionSizeOperation

CollectionSizeOperation.INSTANCE