if (l.lt(r)) {
return Reals.getInstance().cardinality();
} else if (l.equals(r)) {
if (leftClosed && rightClosed) {
return new Cardinality(Naturals.one());
} else {
return new Cardinality(Naturals.zero());
}
}
}
throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.