Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Decompose 50%" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Decompose 100%" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Decompose" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Decompose 75%" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Hide and reduce" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Hide" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Decompose using matrix" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Hide and reduce using matrix" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Hide using matrix" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NAME |
"Do not decompose" |
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 |
RESULT |
"Result" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Replays the given log on the given accepting Petri net using decomposition. First, the log and net will be decomposed into sublogs and subnets. Second, each sublog will be replayed on the corresponding subnet. Third, the resulting replay results will be combined in a single replay result, which is returned. " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Replays the given log on the given accepting Petri net using recomposition. " |