Uses of Class
org.eclipse.ocl.examples.library.logical.BooleanImpliesOperation

Packages that use BooleanImpliesOperation

org.eclipse.ocl.examples.library.logical

Uses of BooleanImpliesOperation in org.eclipse.ocl.examples.library.logical

Fields in org.eclipse.ocl.examples.library.logical declared as BooleanImpliesOperation

static BooleanImpliesOperation

BooleanImpliesOperation.INSTANCE