Package org.processmining.specpp.datastructures.encoding

Class IntEncodings<T>

java.lang.Object

org.processmining.specpp.datastructures.encoding.IntEncodings<T>

All Implemented Interfaces:

ProperlyPrintable

public class IntEncodings<T>
extends java.lang.Object
implements ProperlyPrintable

Constructor Summary

Constructors

Constructor	Description
IntEncodings(IntEncoding<T> presetEncoding, IntEncoding<T> postsetEncoding)

Method Summary

Modifier and Type	Method	Description
java.util.Set<T>	domainIntersection()
java.util.Set<T>	domainUnion()
IntEncoding<T>	getPostsetEncoding()
IntEncoding<T>	getPresetEncoding()
static <A,B> IntEncoding<A>	mapEncoding(IntEncoding<B> encoding, java.util.Map<A,B> mapping)
static <A,B> IntEncodings<A>	mapEncodings(IntEncodings<B> encodings, java.util.Map<A,B> mapping)
IntEncoding<T>	post()
IntEncoding<T>	pre()
java.lang.String	toString()
IntEncoding<T>	unionizedEncoding()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IntEncodings

public IntEncodings(IntEncoding<T> presetEncoding,
                    IntEncoding<T> postsetEncoding)

Method Detail

mapEncoding

public static <A,B> IntEncoding<A> mapEncoding(IntEncoding<B> encoding,
                                                     java.util.Map<A,B> mapping)

mapEncodings

public static <A,B> IntEncodings<A> mapEncodings(IntEncodings<B> encodings,
                                                       java.util.Map<A,B> mapping)

domainUnion

public java.util.Set<T> domainUnion()

domainIntersection

public java.util.Set<T> domainIntersection()

unionizedEncoding

public IntEncoding<T> unionizedEncoding()

getPresetEncoding

public IntEncoding<T> getPresetEncoding()

getPostsetEncoding

public IntEncoding<T> getPostsetEncoding()

pre

public IntEncoding<T> pre()

post

public IntEncoding<T> post()

toString

public java.lang.String toString()

Specified by:

toString in interface ProperlyPrintable

Overrides:

toString in class java.lang.Object