public class ReplayResultPackage
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
org.processmining.plugins.petrinet.replayresult.PNRepResult |
logReplayResult |
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping |
trans2evMap |
Constructor and Description |
---|
ReplayResultPackage() |