| Package | Description |
|---|---|
| org.eclipse.ocl.examples.library.oclvoid |
| Class and Description |
|---|
| OclVoidAllInstancesOperation
OclVoidAllInstancesOperation realises the OclVoid::allInstances() library operation.
|
| OclVoidAndOperation
OclVoidAndOperation realises the OclVoid::and() library operation.
|
| OclVoidImpliesOperation
OclVoidImpliesOperation realises the OclVoid::implies() library operation.
|
| OclVoidOrOperation
OclVoidOrOperation realises the OclVoid::or() library operation.
|