Example #1
0
 public static InitCount max(InitCount a, InitCount b) {
   if (MANY.equals(a) || MANY.equals(b)) {
     return MANY;
   }
   if (ONE.equals(a) || ONE.equals(b)) {
     return ONE;
   }
   return ZERO;
 }
Example #2
0
 public static InitCount min(InitCount a, InitCount b) {
   if (ZERO.equals(a) || ZERO.equals(b)) {
     return ZERO;
   }
   if (ONE.equals(a) || ONE.equals(b)) {
     return ONE;
   }
   return MANY;
 }