Package org.processmining.specpp.datastructures.encoding

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

Modifier and Type	Method	Description
static IndexSubset	complete(int size)
boolean	contains(int index)
IndexSubset	copy()
boolean	covers(BitMask indicatorMask)
int	getIndexCount()
PrimitiveIntEncoding	getIndexMapping()
BitMask	getIndices()
boolean	gt(IndexSubset other)
BitMask	indexIntersection(IndexSubset other)
boolean	intersects(IndexSubset other)
boolean	isSubsetOf(IndexSubset other)
boolean	isSupersetOf(IndexSubset other)
boolean	lt(IndexSubset other)
int	mapIndex(int index)
java.util.stream.IntStream	mapIndices(java.util.stream.IntStream ints)
BitMask	mapIndices(BitMask indices)
static IndexSubset	of(BitMask mask)
boolean	setEquality(IndexSubset other)
java.util.stream.IntStream	streamIndices()
java.util.stream.IntStream	streamMappingRange()
java.lang.String	toString()
int	unmapIndex(int index)
java.util.stream.IntStream	unmapIndices(java.util.stream.IntStream ints)
BitMask	unmapIndices(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:

copy in interface Copyable<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)

mapIndices

public BitMask mapIndices(BitMask indices)

unmapIndices

public BitMask unmapIndices(BitMask indices)

getIndexMapping

public PrimitiveIntEncoding getIndexMapping()

indexIntersection

public BitMask indexIntersection(IndexSubset other)

intersects

public boolean intersects(IndexSubset other)

Specified by:

intersects in interface SetQueries<IndexSubset>

setEquality

public boolean setEquality(IndexSubset other)

Specified by:

setEquality in interface SetQueries<IndexSubset>

isSubsetOf

public boolean isSubsetOf(IndexSubset other)

Specified by:

isSubsetOf in interface SetQueries<IndexSubset>

isSupersetOf

public boolean isSupersetOf(IndexSubset other)

Specified by:

isSupersetOf in interface SetQueries<IndexSubset>

covers

public boolean covers(BitMask indicatorMask)

gt

public boolean gt(IndexSubset other)

Specified by:

gt in interface PartiallyOrdered<IndexSubset>

lt

public boolean lt(IndexSubset other)

Specified by:

lt in interface PartiallyOrdered<IndexSubset>

getIndexCount

public int getIndexCount()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object