Uses of Class
org.eclipse.ocl.examples.pivot.bodies.CollectionLiteralExpBodies._invariant_BagKindIsBag

Packages that use CollectionLiteralExpBodies._invariant_BagKindIsBag

org.eclipse.ocl.examples.pivot.bodies

Uses of CollectionLiteralExpBodies._invariant_BagKindIsBag in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as CollectionLiteralExpBodies._invariant_BagKindIsBag

static CollectionLiteralExpBodies._invariant_BagKindIsBag

CollectionLiteralExpBodies._invariant_BagKindIsBag.INSTANCE