Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ALIGNETCRESULT |
"AlignETCResult" |
public static final java.lang.String |
ALIGNMENTS |
"Alignments" |
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
MARKING |
"InitialMarking" |
public static final java.lang.String |
PN |
"Petrinet" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DETERMINISM_TXT |
"NO DETERMINISM-> The traces must be replayable in a deterministic way." |
public static final java.lang.String |
FITNESS_TXT |
"NO FITNESS-> The net must cover the log." |
public static final java.lang.String |
MULTIPLE_TASKS_TXT |
"MULTIPLE TASKS-> Multiple tasks associated with the same transition." |
public static final java.lang.String |
NOT_INDETIFIED_TXT |
"NOT IDENTIFED ERROR-> An non identified error has occured." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AVAIL_TASKS |
"available_tasks" |
public static final java.lang.String |
ESCAPING_TASKS |
"escaping_tasks" |
public static final java.lang.String |
MARKING |
"marking" |
public static final java.lang.String |
NUM_AVAIL_TASKS |
"num_available_tasks" |
public static final java.lang.String |
NUM_ESCAPING_TASKS |
"num_escaping_tasks" |
public static final java.lang.String |
NUM_NON_ESCAPING_TASKS |
"num_non_escaping_tasks" |
public static final java.lang.String |
WEIGHT |
"weight" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
WEIGHT |
"weight" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AUTO_STATES |
"Automaton States" |
public static final java.lang.String |
AUTO_STATES_BACK |
"Backwards Automaton States" |
public static final java.lang.String |
AUTO_STATES_IN |
"Automaton States IN" |
public static final java.lang.String |
AUTO_STATES_IN_BACK |
" Backwards Automaton States IN" |
public static final java.lang.String |
AUTO_STATES_OUT |
"Automaton States OUT" |
public static final java.lang.String |
AUTO_STATES_OUT_BACK |
"Backwards Automaton States OUT" |
public static final java.lang.String |
BACK_PRECISION |
"Backwards Precision" |
public static final java.lang.String |
BALANCED_PRECISION |
"Balanced Precision" |
public static final java.lang.String |
ETC_SETT |
"ETC Settings" |
public static final java.lang.String |
PRECISION |
"Precision" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ALGORITHM |
"Algorithm" |
public static final java.lang.String |
REPRESENTATION |
"Representation" |
public static final java.lang.String |
WINDOW |
"Window" |