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

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

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

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

Class and Description
BooleanAllInstancesOperation BooleanAllInstancesOperation realises the Boolean::allInstances() library operation.
BooleanAndOperation AndOperation realises the and() library operation.
BooleanAndOperation2 BooleanAndOperation2 realises the 2-valued and() library operation.
BooleanImpliesOperation ImpliesOperation realises the implies() library operation.
BooleanImpliesOperation2 BooleanImpliesOperation2 realises the 2-valued implies() library operation.
BooleanNotOperation NotOperation realises the not() library operation.
BooleanNotOperation2 BooleanNotOperation2 realises the 2-valued not() library operation.
BooleanOrOperation OrOperation realises the or() library operation.
BooleanOrOperation2 BooleanOrOperation2 realises the 2-valued or() library operation.
BooleanXorOperation BooleanXorOperation realises the Boolean::xor() library operation.
BooleanXorOperation2 BooleanXorOperation2 realises the 2-valued Boolean::xor() library operation.