Uses of Class
org.eclipse.ocl.examples.pivot.bodies.ElementBodies._invariant_not_own_self

Packages that use ElementBodies._invariant_not_own_self

org.eclipse.ocl.examples.pivot.bodies

Uses of ElementBodies._invariant_not_own_self in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as ElementBodies._invariant_not_own_self

static ElementBodies._invariant_not_own_self

ElementBodies._invariant_not_own_self.INSTANCE