org.processmining.multilayeralignment.models.mlreplay

Class Utils

java.lang.Object

org.processmining.multilayeralignment.models.mlreplay.Utils

public class Utils
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Utils.Statistic

Field Summary

Fields

Modifier and Type	Field and Description
static int	CANCELLED
static int	COSTFUNCTIONOVERFLOW
static int	COSTLIMITREACHED
static int	DEFAULTBLOCKSIZE Default block size determines how many bytes are reserved top store markings.
static int	DEFAULTQUEUESIZE Initial size of the priority queue.
static int	DEFAULTVISITEDSIZE Initial size of the visited state set.
static int	ENABLINGBLOCKEDBYOUTPUT
static int	FAILEDALIGNMENT
static int	FINALMARKINGUNREACHABLE
static int	HEURISTICFUNCTIONOVERFLOW
static int	OPTIMALALIGNMENT
static java.lang.String	SEP
static int	SOLVERTIMEOUTREACHED
static int	STATELIMITREACHED
static int	TIMEOUTREACHED

Constructor Summary

Constructors

Constructor and Description
Utils()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	asBag(byte[] marking, SyncProduct net)
static java.lang.String	asVector(byte[] marking, SyncProduct net)
static gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass>	createClass2IDDataEvent(org.deckfour.xes.classification.XEventClasses classes)
static gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass>	createClass2IDProcessEvent(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> classes)
static void	toDot(SyncProduct product, int[] alignment, java.io.PrintStream stream)
static void	toDot(SyncProduct product, java.io.PrintStream stream)
static void	toTpn(SyncProduct product, java.io.PrintStream stream)
static void	toTpnSplitStartComplete(SyncProduct product, java.io.PrintStream stream)
static java.lang.String	toVector(SyncProduct product, double[] solution, int[] indexMap)

Methods inherited from class java.lang.Object

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

Field Detail

SEP

public static final java.lang.String SEP

See Also:

Constant Field Values

OPTIMALALIGNMENT

public static int OPTIMALALIGNMENT

FAILEDALIGNMENT

public static int FAILEDALIGNMENT

ENABLINGBLOCKEDBYOUTPUT

public static int ENABLINGBLOCKEDBYOUTPUT

COSTFUNCTIONOVERFLOW

public static int COSTFUNCTIONOVERFLOW

HEURISTICFUNCTIONOVERFLOW

public static int HEURISTICFUNCTIONOVERFLOW

TIMEOUTREACHED

public static int TIMEOUTREACHED

STATELIMITREACHED

public static int STATELIMITREACHED

COSTLIMITREACHED

public static int COSTLIMITREACHED

CANCELLED

public static int CANCELLED

FINALMARKINGUNREACHABLE

public static int FINALMARKINGUNREACHABLE

SOLVERTIMEOUTREACHED

public static int SOLVERTIMEOUTREACHED

DEFAULTBLOCKSIZE

public static int DEFAULTBLOCKSIZE

Default block size determines how many bytes are reserved top store markings. Whenever a block is full, a new block of this size is allocated.

DEFAULTQUEUESIZE

public static int DEFAULTQUEUESIZE

Initial size of the priority queue. It grows as needed.

DEFAULTVISITEDSIZE

public static int DEFAULTVISITEDSIZE

Initial size of the visited state set. It grows as needed.

Constructor Detail

Utils

public Utils()

Method Detail

asVector

public static java.lang.String asVector(byte[] marking,
                                        SyncProduct net)

asBag

public static java.lang.String asBag(byte[] marking,
                                     SyncProduct net)

toTpn

public static void toTpn(SyncProduct product,
                         java.io.PrintStream stream)

toTpnSplitStartComplete

public static void toTpnSplitStartComplete(SyncProduct product,
                                           java.io.PrintStream stream)

toDot

public static void toDot(SyncProduct product,
                         java.io.PrintStream stream)

toVector

public static java.lang.String toVector(SyncProduct product,
                                        double[] solution,
                                        int[] indexMap)

toDot

public static void toDot(SyncProduct product,
                         int[] alignment,
                         java.io.PrintStream stream)

createClass2IDDataEvent

public static gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> createClass2IDDataEvent(org.deckfour.xes.classification.XEventClasses classes)

createClass2IDProcessEvent

public static gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> createClass2IDProcessEvent(java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> classes)