Class IndexSubset
- java.lang.Object
-
- org.processmining.specpp.datastructures.encoding.IndexSubset
-
- All Implemented Interfaces:
SetQueries<IndexSubset>,Copyable<IndexSubset>,PartiallyOrdered<IndexSubset>
public class IndexSubset extends java.lang.Object implements SetQueries<IndexSubset>, Copyable<IndexSubset>, PartiallyOrdered<IndexSubset>
-
-
Constructor Summary
Constructors Constructor Description IndexSubset(BitMask subset, PrimitiveIntEncoding subMapping)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static IndexSubsetcomplete(int size)booleancontains(int index)IndexSubsetcopy()booleancovers(BitMask indicatorMask)intgetIndexCount()PrimitiveIntEncodinggetIndexMapping()BitMaskgetIndices()booleangt(IndexSubset other)BitMaskindexIntersection(IndexSubset other)booleanintersects(IndexSubset other)booleanisSubsetOf(IndexSubset other)booleanisSupersetOf(IndexSubset other)booleanlt(IndexSubset other)intmapIndex(int index)java.util.stream.IntStreammapIndices(java.util.stream.IntStream ints)BitMaskmapIndices(BitMask indices)static IndexSubsetof(BitMask mask)booleansetEquality(IndexSubset other)java.util.stream.IntStreamstreamIndices()java.util.stream.IntStreamstreamMappingRange()java.lang.StringtoString()intunmapIndex(int index)java.util.stream.IntStreamunmapIndices(java.util.stream.IntStream ints)BitMaskunmapIndices(BitMask indices)-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.processmining.specpp.traits.PartiallyOrdered
equivalent
-
Methods inherited from interface org.processmining.specpp.datastructures.encoding.SetQueries
isDisjoint, isStrictSubsetOf, isStrictSupersetOf
-
-
-
-
Constructor Detail
-
IndexSubset
public IndexSubset(BitMask subset, PrimitiveIntEncoding subMapping)
-
-
Method Detail
-
complete
public static IndexSubset complete(int size)
-
of
public static IndexSubset of(BitMask mask)
-
copy
public IndexSubset copy()
- Specified by:
copyin interfaceCopyable<IndexSubset>
-
mapIndex
public int mapIndex(int index)
-
unmapIndex
public int unmapIndex(int index)
-
contains
public boolean contains(int index)
-
streamIndices
public java.util.stream.IntStream streamIndices()
-
streamMappingRange
public java.util.stream.IntStream streamMappingRange()
-
getIndices
public BitMask getIndices()
-
mapIndices
public java.util.stream.IntStream mapIndices(java.util.stream.IntStream ints)
-
unmapIndices
public java.util.stream.IntStream unmapIndices(java.util.stream.IntStream ints)
-
getIndexMapping
public PrimitiveIntEncoding getIndexMapping()
-
indexIntersection
public BitMask indexIntersection(IndexSubset other)
-
intersects
public boolean intersects(IndexSubset other)
- Specified by:
intersectsin interfaceSetQueries<IndexSubset>
-
setEquality
public boolean setEquality(IndexSubset other)
- Specified by:
setEqualityin interfaceSetQueries<IndexSubset>
-
isSubsetOf
public boolean isSubsetOf(IndexSubset other)
- Specified by:
isSubsetOfin interfaceSetQueries<IndexSubset>
-
isSupersetOf
public boolean isSupersetOf(IndexSubset other)
- Specified by:
isSupersetOfin interfaceSetQueries<IndexSubset>
-
covers
public boolean covers(BitMask indicatorMask)
-
gt
public boolean gt(IndexSubset other)
- Specified by:
gtin interfacePartiallyOrdered<IndexSubset>
-
lt
public boolean lt(IndexSubset other)
- Specified by:
ltin interfacePartiallyOrdered<IndexSubset>
-
getIndexCount
public int getIndexCount()
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-