org.eclipse.ocl.examples.library.logical
Classes
BooleanAllInstancesOperation
BooleanAndOperation
BooleanImpliesOperation
BooleanNotOperation
BooleanOrOperation
BooleanXorOperation