Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
EVENTCLASSIFIER |
"EventClassifier" |
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
PETRINETGRAPH |
"PetrinetGraph" |
public static final java.lang.String |
TRANS2EVCLASSMAPPING |
"Trans2EvClassMapping" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PETRINETGRAPH |
"PetrinetGraph" |
public static final java.lang.String |
PNCODEC |
"PNCodec" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
MANIFEST |
"Manifest" |
public static final java.lang.String |
PN |
"Petrinet" |
public static final java.lang.String |
REPLAYALGORITHM |
"ReplayAlgorithm" |
public static final java.lang.String |
REPLAYPARAMETERS |
"ReplayParameters" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
MARKING |
"InitialMarking" |
public static final java.lang.String |
PN |
"Petrinet" |
public static final java.lang.String |
PNREPRESULT |
"AllPNReplayResult" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
PN |
"Petrinet" |
public static final java.lang.String |
PNREPRESULT |
"PNReplayResult" |
public static final java.lang.String |
REPLAYALGORITHM |
"ReplayAlgorithm" |
public static final java.lang.String |
REPLAYPARAMETERS |
"ReplayParameters" |
public static final java.lang.String |
TRANS2EVCLASSMAPPING |
"Trans2EventClassMapping" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
MARKING |
"InitialMarking" |
public static final java.lang.String |
PN |
"Petrinet" |
public static final java.lang.String |
PNREPRESULT |
"PNReplayResult" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final short |
INHIBITED |
-1 |
public static final short |
NEV |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
INFEASIBLE |
-100.0 |
public static final int |
INFEASIBLE_INT |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NOPATTERN |
"[NONE]" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MOVELOGFITNESS |
1 |
public static final int |
MOVEMODELFITNESS |
2 |
public static final int |
NUMSTATEGENERATED |
4 |
public static final int |
RAWFITNESSCOST |
0 |
public static final int |
TIME |
5 |
public static final int |
TRACEFITNESS |
3 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
NET |
"Net" |
public static final java.lang.String |
PARAM |
"Parameter" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MAPTRANSTOCOST |
0 |
public static final int |
MAPXEVENTCLASSTOCOST |
2 |
public static final int |
MAXEXPLOREDINSTANCES |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
DEFCOSTMOVEONLOG |
1 |
protected static final int |
DEFCOSTMOVEONMODEL |
1 |
protected static final int |
DEFLIMMAXNUMINSTANCES |
2000 |
protected static final int |
MAXLIMMAXNUMINSTANCES |
10001 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ALGORITHM |
1 |
public static final int |
MAPPING |
0 |
public static final int |
PARAMETERS |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ALGORITHM |
1 |
public static final int |
MAPPING |
0 |
public static final int |
PARAMETERS |
2 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
MAXFITNESSCOST |
"Max Fitness Cost" |
public static final java.lang.String |
MINFITNESSCOST |
"Min Fitness Cost" |
public static final java.lang.String |
NUMALIGNMENTS |
"#Alignments" |
public static final java.lang.String |
NUMSTATES |
"Num. States" |
public static final java.lang.String |
ORIGTRACELENGTH |
"Trace Length" |
public static final java.lang.String |
QUEUEDSTATE |
"Queued States" |
public static final java.lang.String |
RAWFITNESSCOST |
"Raw Fitness Cost" |
public static final java.lang.String |
REPRESENTATIVES |
"#Representatives" |
public static final java.lang.String |
TIME |
"Calculation Time (ms)" |
public static final java.lang.String |
TRACEFITNESS |
"Trace Fitness" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
BEHAVIORAPPROPRIATENESS |
"Behavioral Appropriateness" |
public static final java.lang.String |
MOVELOGFITNESS |
"Move-Log Fitness" |
public static final java.lang.String |
MOVEMODELFITNESS |
"Move-Model Fitness" |
public static final java.lang.String |
NUMSTATEGENERATED |
"Num. States" |
public static final java.lang.String |
ORIGTRACELENGTH |
"Trace Length" |
public static final java.lang.String |
QUEUEDSTATE |
"Queued States" |
public static final java.lang.String |
RAWFITNESSCOST |
"Raw Fitness Cost" |
public static final java.lang.String |
TIME |
"Calculation Time (ms)" |
public static final java.lang.String |
TRACEFITNESS |
"Trace Fitness" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LIFECYCLETRANSSTR |
"X" |
public static final java.lang.String |
MOVELOG |
"[L]" |
public static final java.lang.String |
MOVEMODELINVI |
"[M(inv)]" |
public static final java.lang.String |
MOVEMODELREAL |
"[M]" |
public static final java.lang.String |
MOVEREPLACED |
"[L+M(repl)]" |
public static final java.lang.String |
MOVESWAPPED |
"[L+M(swap)]" |
public static final java.lang.String |
MOVESYNC |
"[L+M]" |
public static final java.lang.String |
MOVESYNCVIOL |
"[L+M(viol)]" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INVISIBLE |
"[invisible]" |