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

Packages that use TemplateBindingBodies._invariant_one_parameter_substitution

org.eclipse.ocl.examples.pivot.bodies

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

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

static TemplateBindingBodies._invariant_one_parameter_substitution

TemplateBindingBodies._invariant_one_parameter_substitution.INSTANCE