Uses of Class
org.eclipse.ocl.examples.pivot.bodies.IterateExpBodies._invariant_OneInitializer

Packages that use IterateExpBodies._invariant_OneInitializer

org.eclipse.ocl.examples.pivot.bodies

Uses of IterateExpBodies._invariant_OneInitializer in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as IterateExpBodies._invariant_OneInitializer

static IterateExpBodies._invariant_OneInitializer

IterateExpBodies._invariant_OneInitializer.INSTANCE