public class ReplayerSettingsUI
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
ALGORITHM |
static int |
MAPPING |
static int |
PARAMETERS |
Constructor and Description |
---|
ReplayerSettingsUI(org.processmining.contexts.uitopia.UIPluginContext context) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object[] |
getConfiguration(org.processmining.models.flexiblemodel.Flex flex,
org.deckfour.xes.model.XLog log,
boolean isTestingMode) |
int[] |
getParamNum() |
public static final int MAPPING
public static final int ALGORITHM
public static final int PARAMETERS