/** * Create cardinality with [#left, #right] interval. * * @param left left point in interval * @param right right point in interval * @return cardinality */ public static Cardinality createCardinality(int left, int right) { return new Cardinality(getLimitFromInt(left) + ".." + getLimitFromInt(right), left, right); }