Uses of Package
org.eclipse.ocl.examples.library.oclinvalid

Packages that use org.eclipse.ocl.examples.library.oclinvalid

org.eclipse.ocl.examples.library.oclinvalid

Classes in org.eclipse.ocl.examples.library.oclinvalid used by org.eclipse.ocl.examples.library.oclinvalid

OclInvalidAllInstancesOperation
OclInvalidAllInstancesOperation realises the OclInvalid::allInstances() library operation.