Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
GERS |
"Generalized Excitation Region" |
public static final java.lang.String |
TS |
"TS" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
REGIONS |
"Region" |
public static final java.lang.String |
TS |
"TS" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ACCEPTIDS |
"Accept ids" |
public static final java.lang.String |
SETTINGS |
"Settings" |
public static final java.lang.String |
STARTIDS |
"Start ids" |
public static final java.lang.String |
TS |
"TS" |
public static final java.lang.String |
WEIGHTS |
"Weights" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Mollifies the given transition system in four different ways: <ol><li>Remove self loops from the transition system.<li><li>Insert missing edges to complete \"diamonds\", like insert A->B if A-$gt;C, C-$gt;D, and B-$gtD are already present.</li><li>Merge states with identical outgoing labels.</li><li>Merge states with identical incoming labels.</li></ol>." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Discovers a transition system from the given log. A state in the resulting transition system is a combination of (1) a collection of activities seen so far, (2) a collection of activities yet to be seen, and (3) a mapping from some attributes to their actual values. The collections include sets, bags, and lists, and a threshold for the distance to the current event can be set. The discovered transition system can be mollified in some ways before it is returned." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
KEY_COSTAMOUNT |
"cost:amount" |
public static final java.lang.String |
KEY_COSTTYPE |
"cost:type" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANNOTATION |
"ANNOTATION" |
public static final java.lang.String |
LOG |
"LOG" |
public static final java.lang.String |
TS |
"TS" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TEXT |
"Animates (that is, replays) the given log on the given transition system." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"tsml" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"name" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"state" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"text" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"transition" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"inscription" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"graphics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"graphics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"dimension" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"fill" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"font" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"line" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"graphics" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"offset" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
SCALE |
2.0 |
public static final java.lang.String |
TAG |
"position" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TAG |
"toolspecific" |