public static class AbstractPetrinetReplayer.Result
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
nl.tue.astar.Trace |
filteredTrace |
long |
milliseconds |
int |
queuedStates |
PRecord |
record |
boolean |
reliable |
int |
states |
int |
trace |
gnu.trove.map.TIntIntMap |
trace2orgTrace |
gnu.trove.list.TIntList |
unUsedIndices |
Constructor and Description |
---|
AbstractPetrinetReplayer.Result() |
public PRecord record
public int states
public long milliseconds
public int trace
public nl.tue.astar.Trace filteredTrace
public boolean reliable
public int queuedStates
public gnu.trove.list.TIntList unUsedIndices
public gnu.trove.map.TIntIntMap trace2orgTrace