Package org.processmining.specpp.datastructures.encoding

Interface PrimitiveIntEncoding

All Superinterfaces:

Encoding<java.lang.Integer,java.lang.Integer>, HasDenseRange, Immutable, IntEncoding<java.lang.Integer>, ProperlyHashable

All Known Implementing Classes:

ConstantIntIntEncoding, IdentityEncoding, IntIntEncoding

public interface PrimitiveIntEncoding
extends IntEncoding<java.lang.Integer>

Field Summary

Fields inherited from interface org.processmining.specpp.datastructures.encoding.IntEncoding

OUTSIDE_RANGE

Method Summary

Modifier and Type	Method	Description
default java.lang.Integer	decode(java.lang.Integer value)
int	decodeInt(int i)
default java.util.stream.IntStream	decodeIntStream(java.util.stream.IntStream stream)
default java.util.stream.Stream<java.lang.Integer>	domain()
default java.lang.Integer	encode(java.lang.Integer item)
int	encodeInt(int i)
default java.util.stream.IntStream	encodeIntStream(java.util.stream.IntStream stream)
default boolean	isInDomain(java.lang.Integer toEncode)
boolean	isIntInDomain(int toEncode)
java.util.stream.IntStream	primitiveDomain()

Methods inherited from interface org.processmining.specpp.datastructures.encoding.Encoding

pairs, size

Methods inherited from interface org.processmining.specpp.datastructures.encoding.IntEncoding

isInRange, isIntInRange, primitiveRange, range

Methods inherited from interface org.processmining.specpp.traits.ProperlyHashable

hashCode

Method Detail

primitiveDomain

java.util.stream.IntStream primitiveDomain()

domain

default java.util.stream.Stream<java.lang.Integer> domain()

Specified by:

domain in interface Encoding<java.lang.Integer,java.lang.Integer>

isIntInDomain

boolean isIntInDomain(int toEncode)

isInDomain

default boolean isInDomain(java.lang.Integer toEncode)

Specified by:

isInDomain in interface Encoding<java.lang.Integer,java.lang.Integer>

encodeInt

int encodeInt(int i)

encodeIntStream

default java.util.stream.IntStream encodeIntStream(java.util.stream.IntStream stream)

decodeInt

int decodeInt(int i)

decodeIntStream

default java.util.stream.IntStream decodeIntStream(java.util.stream.IntStream stream)

encode

default java.lang.Integer encode(java.lang.Integer item)

Specified by:

encode in interface Encoding<java.lang.Integer,java.lang.Integer>

decode

default java.lang.Integer decode(java.lang.Integer value)

Specified by:

decode in interface Encoding<java.lang.Integer,java.lang.Integer>