Uses of Class
org.eclipse.ocl.examples.pivot.bodies.ConstraintBodies._invariant_UniqueName

Packages that use ConstraintBodies._invariant_UniqueName

org.eclipse.ocl.examples.pivot.bodies

Uses of ConstraintBodies._invariant_UniqueName in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as ConstraintBodies._invariant_UniqueName

static ConstraintBodies._invariant_UniqueName

ConstraintBodies._invariant_UniqueName.INSTANCE