Uses of Class
org.eclipse.ocl.examples.pivot.bodies.TemplateParameterBodies._invariant_must_be_compatible

Packages that use TemplateParameterBodies._invariant_must_be_compatible

org.eclipse.ocl.examples.pivot.bodies

Uses of TemplateParameterBodies._invariant_must_be_compatible in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as TemplateParameterBodies._invariant_must_be_compatible

static TemplateParameterBodies._invariant_must_be_compatible

TemplateParameterBodies._invariant_must_be_compatible.INSTANCE