Uses of Class
org.eclipse.ocl.examples.pivot.bodies.TemplateBindingBodies._invariant_parameter_substitution_formal

Packages that use TemplateBindingBodies._invariant_parameter_substitution_formal

org.eclipse.ocl.examples.pivot.bodies

Uses of TemplateBindingBodies._invariant_parameter_substitution_formal in org.eclipse.ocl.examples.pivot.bodies

Fields in org.eclipse.ocl.examples.pivot.bodies declared as TemplateBindingBodies._invariant_parameter_substitution_formal

static TemplateBindingBodies._invariant_parameter_substitution_formal

TemplateBindingBodies._invariant_parameter_substitution_formal.INSTANCE