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

Packages that use TemplateParameterSubstitutionBodies._invariant_must_be_compatible

org.eclipse.ocl.examples.pivot.bodies

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

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

static TemplateParameterSubstitutionBodies._invariant_must_be_compatible

TemplateParameterSubstitutionBodies._invariant_must_be_compatible.INSTANCE