Uses of Package
org.eclipse.ocl.examples.library.logical

Packages that use org.eclipse.ocl.examples.library.logical

org.eclipse.ocl.examples.library.logical

Classes in org.eclipse.ocl.examples.library.logical used by org.eclipse.ocl.examples.library.logical

BooleanAllInstancesOperation
BooleanAllInstancesOperation realises the Boolean::allInstances() library operation.

BooleanAndOperation
AndOperation realises the and() library operation.

BooleanImpliesOperation
ImpliesOperation realises the implies() library operation.

BooleanNotOperation
NotOperation realises the not() library operation.

BooleanOrOperation
OrOperation realises the or() library operation.

BooleanXorOperation
BooleanXorOperation realises the Boolean::xor() library operation.