public class PNReplayerUI
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
ALGORITHM |
static int |
MAPPING |
static int |
PARAMETERS |
Constructor and Description |
---|
PNReplayerUI() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object[] |
getConfiguration(org.processmining.contexts.uitopia.UIPluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log) |
public static final int MAPPING
public static final int ALGORITHM
public static final int PARAMETERS