Uses of Class
org.eclipse.ocl.examples.pivot.bodies.BooleanLiteralExpBodies._invariant_TypeIsBoolean

Packages that use BooleanLiteralExpBodies._invariant_TypeIsBoolean

org.eclipse.ocl.examples.pivot.bodies

Uses of BooleanLiteralExpBodies._invariant_TypeIsBoolean in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as BooleanLiteralExpBodies._invariant_TypeIsBoolean

static BooleanLiteralExpBodies._invariant_TypeIsBoolean

BooleanLiteralExpBodies._invariant_TypeIsBoolean.INSTANCE