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

Packages that use CollectionLiteralExpBodies._invariant_SequenceKindIsSequence

org.eclipse.ocl.examples.pivot.bodies

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

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

static CollectionLiteralExpBodies._invariant_SequenceKindIsSequence

CollectionLiteralExpBodies._invariant_SequenceKindIsSequence.INSTANCE