public class Utils
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Utils.Statistic |
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 and Description |
---|
Utils() |
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> |
createClass2ID(org.deckfour.xes.classification.XEventClasses 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) |
public static final java.lang.String SEP
public static int OPTIMALALIGNMENT
public static int FAILEDALIGNMENT
public static int ENABLINGBLOCKEDBYOUTPUT
public static int COSTFUNCTIONOVERFLOW
public static int HEURISTICFUNCTIONOVERFLOW
public static int TIMEOUTREACHED
public static int STATELIMITREACHED
public static int COSTLIMITREACHED
public static int CANCELLED
public static int FINALMARKINGUNREACHABLE
public static int SOLVERTIMEOUTREACHED
public static int DEFAULTBLOCKSIZE
public static int DEFAULTQUEUESIZE
public static int DEFAULTVISITEDSIZE
public static java.lang.String asVector(byte[] marking, SyncProduct net)
public static java.lang.String asBag(byte[] marking, SyncProduct net)
public static void toTpn(SyncProduct product, java.io.PrintStream stream)
public static void toTpnSplitStartComplete(SyncProduct product, java.io.PrintStream stream)
public static void toDot(SyncProduct product, java.io.PrintStream stream)
public static java.lang.String toVector(SyncProduct product, double[] solution, int[] indexMap)
public static void toDot(SyncProduct product, int[] alignment, java.io.PrintStream stream)
public static gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> createClass2ID(org.deckfour.xes.classification.XEventClasses classes)