Package | Description |
---|---|
nl.tue.alignment | |
nl.tue.alignment.algorithms | |
nl.tue.alignment.algorithms.implementations | |
nl.tue.alignment.algorithms.syncproduct | |
nl.tue.alignment.test |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
Utils.asBag(byte[] marking,
SyncProduct net) |
static java.lang.String |
Utils.asVector(byte[] marking,
SyncProduct net) |
static void |
Utils.toDot(SyncProduct product,
int[] alignment,
java.io.PrintStream stream) |
static void |
Utils.toDot(SyncProduct product,
java.io.PrintStream stream) |
static void |
Utils.toTpn(SyncProduct product,
java.io.PrintStream stream) |
static void |
Utils.toTpnSplitStartComplete(SyncProduct product,
java.io.PrintStream stream) |
static java.lang.String |
Utils.toVector(SyncProduct product,
double[] solution,
int[] indexMap) |
Modifier and Type | Method and Description |
---|---|
SyncProduct |
ReplayAlgorithm.getNet()
Returns the synchronous product for which this ReplayAlgorithm was
instantiated
|
Constructor and Description |
---|
AStar(SyncProduct product) |
AStar(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
boolean preferExact,
boolean isInteger,
ReplayAlgorithm.Debug debug) |
AStarLargeLP(SyncProduct product) |
AStarLargeLP(SyncProduct product,
boolean moveSorting,
boolean useInteger,
int initialSplits,
ReplayAlgorithm.Debug debug) |
AStarLargeLP(SyncProduct product,
boolean moveSorting,
boolean useInteger,
ReplayAlgorithm.Debug debug) |
AStarLargeLP(SyncProduct product,
boolean moveSorting,
boolean useInteger,
ReplayAlgorithm.Debug debug,
int[] splitpoints) |
Dijkstra(SyncProduct product) |
Dijkstra(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product) |
Full(SyncProduct product) |
Full(SyncProduct product) |
Full(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
boolean preferExact,
boolean isInteger,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean useInteger,
int initialSplits,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean useInteger,
ReplayAlgorithm.Debug debug,
int[] splitpoints) |
FullStatespaceBuilder(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
ReplayAlgorithm.Debug debug) |
Modifier and Type | Class and Description |
---|---|
class |
SyncProductImpl |
Modifier and Type | Method and Description |
---|---|
SyncProduct |
ReducedSyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace xTrace,
java.util.ArrayList<? super ReducedTransition> transitionList,
boolean partiallyOrderSameTimestamp) |
SyncProduct |
SyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace xTrace,
java.util.ArrayList<? super T> transitionList,
boolean partiallyOrderSameTimestamp) |
SyncProduct |
BasicSyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace xTrace,
java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList,
boolean partiallyOrderSameTimestamp) |
SyncProduct |
ReducedSyncProductFactory.getSyncProductForEmptyTrace(java.util.ArrayList<? super ReducedTransition> transitionList) |
SyncProduct |
SyncProductFactory.getSyncProductForEmptyTrace(java.util.ArrayList<? super T> transitionList) |
SyncProduct |
BasicSyncProductFactory.getSyncProductForEmptyTrace(java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList) |
Modifier and Type | Method and Description |
---|---|
org.processmining.plugins.replayer.replayresult.SyncReplayResult |
ReducedSyncProductFactory.toSyncReplayResult(Replayer replayer,
SyncProduct product,
gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics,
int[] alignment,
org.deckfour.xes.model.XTrace trace,
int traceIndex,
java.util.ArrayList<? super ReducedTransition> transitionList) |
org.processmining.plugins.replayer.replayresult.SyncReplayResult |
SyncProductFactory.toSyncReplayResult(Replayer replayer,
SyncProduct product,
gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics,
int[] alignment,
org.deckfour.xes.model.XTrace trace,
int traceIndex,
java.util.ArrayList<? super T> transitionList) |
org.processmining.plugins.replayer.replayresult.SyncReplayResult |
BasicSyncProductFactory.toSyncReplayResult(Replayer replayer,
SyncProduct product,
gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics,
int[] alignment,
org.deckfour.xes.model.XTrace trace,
int traceIndex,
java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList) |
Modifier and Type | Class and Description |
---|---|
static class |
SmallTests.NastySyncProductExample |
static class |
SmallTests.SyncProductExampleBook |
Modifier and Type | Method and Description |
---|---|
static int[] |
SmallTests.testSingleGraph(SyncProduct net,
ReplayAlgorithm.Debug debug) |