Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
SPECIAL_CHAR |
"^!+%/*-&|<=>(), " |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
RESULT_DESC |
"Data Conformance Result for {0} on {1} @{1}" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MAX_UINT16_PACKABLE |
65535 |
public static final int |
MAX_UINT21_PACKABLE |
2097151 |
public static final long |
MAX_UINT32_PACKABLE |
4294967295L |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
NEV |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
RESULT_EPSILON |
0.01 |
public static final double |
SOLVING_PRECISION |
1.0E-9 |
public static final int |
TIMEOUT |
360 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
EMPTY_STATE_INDEX |
-2147483647 |
public static final int |
START_INDEX |
-2147483646 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ATTRIBUTE_KEY_RELATIVE_TIME |
"virtual:relativetime" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANY_VALUE |
"ANY VALUE" |
public static final java.lang.String |
LARGER_THAN_ANY_VALUE |
"\uffff > ANY VALUE" |
public static final java.lang.String |
SMALLER_THAN_ANY_VALUE |
"\u0000 < ANY VALUE" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CACHE_HITS |
"cacheHits" |
public static final java.lang.String |
CACHE_SIZE |
"cacheSize" |
public static final java.lang.String |
FITNESS |
"fitness" |
public static final java.lang.String |
IGNORED_LOOPS |
"ignoredLoops" |
public static final java.lang.String |
MILP_PROBLEMS_SOLVED |
"dfAlignments" |
public static final java.lang.String |
QUEUED_STATES |
"queuedRecords" |
public static final java.lang.String |
TIME_PER_TRACE |
"timePerTrace" |
public static final java.lang.String |
TRACE_LENGTH |
"traceLength" |
public static final java.lang.String |
UNRELIABLE_ALIGNMENTS |
"unreliable" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
classAttribute |
"TYPE OF MOVE" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MOVE_IN_BOTH |
3 |
public static final int |
MOVE_IN_LOG |
0 |
public static final int |
MOVE_IN_MODEL_INVISIBLE |
2 |
public static final int |
MOVE_IN_MODEL_VISIBLE |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
PETRINETGRAPH |
"PetrinetGraph" |
public static final java.lang.String |
PNREPRESULT |
"PetriNetResult" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BOTTOM |
2 |
public static final int |
CENTER |
1 |
public static final int |
LEADING |
3 |
public static final int |
TOP |
0 |
public static final int |
TRAILING |
4 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
HORIZONTAL_SPLIT |
1 |
public static final int |
VERTICAL_SPLIT |
0 |