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

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

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

Classes in org.eclipse.ocl.pivot.library.oclvoid used by org.eclipse.ocl.pivot.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.