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

Class Summary

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.