| Package | Description |
|---|---|
| org.eclipse.ocl.pivot.library.logical |
| Class and Description |
|---|
| 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.
|