Class RankedSlice

  • public abstract class RankedSlice
    extends Object
    type/wrapper of ranked slices, which are just tuples of disjoint sets, with entries that are additionally to the index order also ranked by some extra total order (i.e. numbers). Properties: - all n bitsets should be pw. disjoint and non-empty (if not a pre-slice). - all rank values should be distinct numbers. - the rank values should be 0 <= p < n (unless it is just a component of a set of such slices). This class provides only functions that return a new slice, i.e. do not modify the original one.