| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
ANALYSISINFORMATION |
"AnalysisInformation" |
public static final java.lang.String |
NET |
"CausalNet" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
FLEX |
"Flex" |
public static final java.lang.String |
FLEXCODEC |
"FlexCodec" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
EVENTCLASSES |
"EventClasses" |
public static final java.lang.String |
FLEX |
"Flex" |
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
MULTIPLEMAPPING |
"MultipleMapping" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
FLEX |
"FlexibleModel" |
public static final java.lang.String |
GRAPHANIMATION |
"GraphAnimation" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
FLEX |
"Flex" |
public static final java.lang.String |
FLEXPERFREPINFO |
"FlexPerformanceReplayInfo" |
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
STARTTASKNODESET |
"StartTaskNodesSet" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
ENDTASKNODESET |
"EndTaskNodesSet" |
public static final java.lang.String |
FLEX |
"Flex" |
public static final java.lang.String |
FLEXREPRESULT |
"FlexReplayResult" |
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
STARTTASKNODESET |
"StartTaskNodesSet" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
FLEX |
"CausalNet" |
public static final java.lang.String |
FLEXSPECIALNODES |
"SpecialNodes" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
FLEX |
"FlexibleModel" |
public static final java.lang.String |
NODEINSTANCEMAPPING |
"NodeInstanceMapping" |
public static final java.lang.String |
YAWLMODEL |
"YAWLModel" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
CAUSALNET |
"CausalNet" |
public static final java.lang.String |
MARKING |
"InitialMarking" |
public static final java.lang.String |
PETRINET |
"PetriNet" |
public static final java.lang.String |
STARTTASKNODES |
"StartTaskNodes" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
MAPPINGORIGINALNODETOLIFECYCLETYPE |
"MappingOriginalNodeToLifecycleType" |
public static final java.lang.String |
MAPPINGTOORIGINAL |
"Mapping" |
public static final java.lang.String |
ORIGINALMODEL |
"OriginalModel" |
public static final java.lang.String |
REPLAYMODEL |
"ReplayModel" |
public static final java.lang.String |
SPECIALNODES |
"SpecialNodes" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
protected static final int |
ISRELIABLE |
1 |
protected static final int |
LISTOFPAIR |
0 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
protected static final int |
ISRELIABLE |
1 |
protected static final int |
LISTOFPAIR |
0 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
ANALYSISTYPE |
2 |
public static final int |
CODEC |
0 |
public static final int |
FLEXREPRESULT |
0 |
public static final int |
INVERTPREFIXANALYSIS |
2 |
public static final int |
OUTPUTFILE |
3 |
public static final int |
PREFIXANALYSIS |
0 |
public static final int |
REMOVEEVENTANALYSIS |
1 |
public static final int |
USEMAXESTIMATED |
1 |
public static final int |
USEMAXNUMOFSTATES |
0 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
VISIBLEUNMAPPEDTASK |
"NONE" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
VISIBLEUNMAPPEDTASK |
"NONE" |
| 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 |
VISIBLEUNMAPPEDTASK |
"NONE" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
FPD |
0 |
public static final int |
NORMAL |
-1 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
BRANCHINGBOXWIDTH |
15 |
public static final int |
MAXLABELCHAR |
21 |
public static final int |
MINHEIGHT |
60 |
public static final int |
PADDINGFROMBOXTOTEXT |
3 |
public static final int |
TEXTHEIGHT |
5 |
public static final int |
VERTICALPADDINGFROMBOXTOTEXT |
7 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
INSERTINGDEF |
5 |
public static final int |
SKIPPINGDEF |
2 |
public static final int |
UNOBSERVABLEDEF |
0 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
protected static final int |
UP |
1200 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
PIPVIEWATTRIBUTE |
"signalPIPView" |