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