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

Packages that use CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet

org.eclipse.ocl.examples.pivot.bodies

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

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

static CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet

CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet.INSTANCE