Package it.unibo.cs.USI.checker

Interface Summary
CardinalityChecker  
 

Class Summary
CC__Gt__Gt  
CC__Gt_0Gt  
CC__GtGtGt  
CC__Lt__Lt  
CC__Lt0_Lt  
CC__LtLtLt  
CC_0Eq_0Eq  
CC_0Eq0_Eq  
CC_0Eq00Eq  
CC_0EqEqEq  
CC_0Gt__Gt  
CC_0Gt_0Gt  
CC_0GtGtGt  
CC_0GtGtGtNotB11  
CC0_Eq_0Eq  
CC0_Eq0_Eq  
CC0_Eq00Eq  
CC0_EqEqEq  
CC0_Lt__Lt  
CC0_Lt0_Lt  
CC0_LtLtLt  
CC0_LtLtLtNotB11  
CC00__EqEq  
CC00Eq_0Eq  
CC00Eq0_Eq  
CC00Eq00Eq  
CCEqEq_0Eq  
CCEqEq0_Eq  
CCEqEq00__  
CCEqEqEqEq  
CCFalse  
CCGtGt__Gt  
CCGtGt_0Gt  
CCGtGt_0GtNotA11  
CCGtGtGtGtNotA11NotB11  
CCLtLt__Lt  
CCLtLt0_Lt  
CCLtLt0_LtNotA11  
CCLtLtLtLtNotA11NotB11  
CCTrue