Uses of Class
org.eclipse.ocl.examples.pivot.bodies.LoopExpBodies._invariant_SourceIsCollection

Packages that use LoopExpBodies._invariant_SourceIsCollection

org.eclipse.ocl.examples.pivot.bodies

Uses of LoopExpBodies._invariant_SourceIsCollection in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as LoopExpBodies._invariant_SourceIsCollection

static LoopExpBodies._invariant_SourceIsCollection

LoopExpBodies._invariant_SourceIsCollection.INSTANCE