Uses of Class
org.eclipse.ocl.pivot.library.logical.BooleanImpliesOperation2

Packages that use BooleanImpliesOperation2

Package	Description
org.eclipse.ocl.pivot.library.logical

Uses of BooleanImpliesOperation2 in org.eclipse.ocl.pivot.library.logical

Fields in org.eclipse.ocl.pivot.library.logical declared as BooleanImpliesOperation2

Modifier and Type	Field and Description
static BooleanImpliesOperation2	BooleanImpliesOperation2.INSTANCE