Uses of Class
org.eclipse.ocl.examples.pivot.bodies.ValueSpecificationBodies._booleanValue_body_

Packages that use ValueSpecificationBodies._booleanValue_body_

org.eclipse.ocl.examples.pivot.bodies

Uses of ValueSpecificationBodies._booleanValue_body_ in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as ValueSpecificationBodies._booleanValue_body_

static ValueSpecificationBodies._booleanValue_body_

ValueSpecificationBodies._booleanValue_body_.INSTANCE