Uses of Class
org.eclipse.ocl.pivot.utilities.PivotUtil.PrecedenceComparator

Packages that use PivotUtil.PrecedenceComparator

Package	Description
org.eclipse.ocl.pivot.utilities

Uses of PivotUtil.PrecedenceComparator in org.eclipse.ocl.pivot.utilities

Fields in org.eclipse.ocl.pivot.utilities declared as PivotUtil.PrecedenceComparator

Modifier and Type	Field and Description
static PivotUtil.PrecedenceComparator	PivotUtil.PrecedenceComparator.INSTANCE