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;
}
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;
}