| 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 | Method and Description |
|---|---|
SyncProduct |
MlBasicSyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace xTrace,
java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList,
boolean partiallyOrderSameTimestamp) |
SyncProduct |
MlBasicSyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace pxTrace,
org.deckfour.xes.model.XTrace dxTrace,
java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList,
boolean partiallyOrderSameTimestamp) |
SyncProduct |
MlBasicSyncProductFactory.getSyncProductForEmptyTrace(java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList) |
| Modifier and Type | Method and Description |
|---|---|
SyncReplayResult |
MlBasicSyncProductFactory.toMLSyncReplayResult(Replayer replayer,
SyncProduct product,
gnu.trove.map.TObjectIntMap<Utils.Statistic> stats,
int[] alignment,
org.deckfour.xes.model.XTrace traceOfProcess,
int traceIndexOfProcess,
org.deckfour.xes.model.XTrace traceOfData,
int traceIndexOfData,
java.util.ArrayList<java.lang.Object> transitionList) |
SyncReplayResult |
MlBasicSyncProductFactory.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) |
SyncReplayResult |
MlBasicSyncProductFactory.toSyncReplayResult(Replayer replayer,
SyncProduct product,
gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics,
int[] alignment,
org.deckfour.xes.model.XTrace traceOfProcess,
int traceIndexOfProcess,
org.deckfour.xes.model.XTrace traceOfData,
int traceIndexOfData,
java.util.ArrayList<? super org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionList) |
| Modifier and Type | Class and Description |
|---|---|
class |
SyncProductImpl |
| Modifier and Type | Method and Description |
|---|---|
SyncProduct |
SyncProductFactory.getSyncProduct(org.deckfour.xes.model.XTrace xTrace,
java.util.ArrayList<? super T> transitionList,
boolean partiallyOrderSameTimestamp) |
SyncProduct |
SyncProductFactory.getSyncProductForEmptyTrace(java.util.ArrayList<? super T> transitionList) |
| 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) |
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) |
SyncReplayResult |
SyncProductFactory.toSyncReplayResult(Replayer replayer,
SyncProduct product,
gnu.trove.map.TObjectIntMap<Utils.Statistic> statistics,
int[] alignment,
org.deckfour.xes.model.XTrace traceOfProcess,
int traceIndexOfProcess,
org.deckfour.xes.model.XTrace traceOfData,
int traceIndexOfData,
java.util.ArrayList<? super T> transitionList) |
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) |