Package org.eclipse.ocl.pivot.library.oclvoid

Class Summary

Class	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.