Uses of Class
org.eclipse.ocl.examples.pivot.bodies.MultiplicityElementBodies._invariant_lower_ge_0

Packages that use MultiplicityElementBodies._invariant_lower_ge_0

org.eclipse.ocl.examples.pivot.bodies

Uses of MultiplicityElementBodies._invariant_lower_ge_0 in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as MultiplicityElementBodies._invariant_lower_ge_0

static MultiplicityElementBodies._invariant_lower_ge_0

MultiplicityElementBodies._invariant_lower_ge_0.INSTANCE