Uses of Class
org.eclipse.ocl.examples.pivot.bodies.IfExpBodies._invariant_ConditionTypeIsBoolean

Packages that use IfExpBodies._invariant_ConditionTypeIsBoolean

org.eclipse.ocl.examples.pivot.bodies

Uses of IfExpBodies._invariant_ConditionTypeIsBoolean in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as IfExpBodies._invariant_ConditionTypeIsBoolean

static IfExpBodies._invariant_ConditionTypeIsBoolean

IfExpBodies._invariant_ConditionTypeIsBoolean.INSTANCE