Package owl.translations.nbadet
Class RankedSlice
- java.lang.Object
-
- owl.translations.nbadet.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.
-
-
Constructor Summary
Constructors Constructor Description RankedSlice()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description static RankedSlicecopy(List<Pair<BitSet,Integer>> slice)Performs an actual copy (i.e.static RankedSliceempty()RankedSliceleftNormalized()Returns copy with only leftmost occurrence of each state.RankedSlicemap(Function<Pair<BitSet,Integer>,Pair<BitSet,Integer>> fun)This is to avoid general stream API, but still have convenience.static RankedSliceof(List<Pair<BitSet,Integer>> slice)Wraps a slice (no deep copy).RankedSliceprunedWithSim(owl.translations.nbadet.SubsumedStatesMap incl)static RankedSlicesingleton(Pair<BitSet,Integer> entry)Wraps a single ranked set into a slice.abstract List<Pair<BitSet,Integer>>slice()StringtoString()StringtoString(IntFunction<?> stateMap)RankedSlicewithoutEmptySets()Returns copy without empty sets.
-
-
-
Method Detail
-
of
public static RankedSlice of(List<Pair<BitSet,Integer>> slice)
Wraps a slice (no deep copy).
-
copy
public static RankedSlice copy(List<Pair<BitSet,Integer>> slice)
Performs an actual copy (i.e. with copied BitSets) of the slice.
-
empty
public static RankedSlice empty()
-
singleton
public static RankedSlice singleton(Pair<BitSet,Integer> entry)
Wraps a single ranked set into a slice.
-
map
public RankedSlice map(Function<Pair<BitSet,Integer>,Pair<BitSet,Integer>> fun)
This is to avoid general stream API, but still have convenience.
-
leftNormalized
public RankedSlice leftNormalized()
Returns copy with only leftmost occurrence of each state.
-
withoutEmptySets
public RankedSlice withoutEmptySets()
Returns copy without empty sets.
-
prunedWithSim
public RankedSlice prunedWithSim(owl.translations.nbadet.SubsumedStatesMap incl)
-
toString
public final String toString(IntFunction<?> stateMap)
-
-