public static class AbstractPetrinetReplayer.Representative
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
trace |
gnu.trove.map.TIntIntMap |
trace2orgTrace |
gnu.trove.list.TIntList |
unUsedIndices |
Constructor and Description |
---|
Representative(int trace,
gnu.trove.list.TIntList unUsedIndices,
gnu.trove.map.TIntIntMap trace2orgTrace) |