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

Packages that use CollectionIncludesAllOperation

org.eclipse.ocl.examples.library.collection

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

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

static CollectionIncludesAllOperation

CollectionIncludesAllOperation.INSTANCE