public class TsmlState extends TsmlNode
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG |
name, toolSpecificList
lineNumber, tag
Constructor and Description |
---|
TsmlState()
Creates a fresh PNML place.
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
exportAttributes(Tsml tsml)
Exports the dimension.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Tsml tsml)
Imports the known attributes.
|
TsmlState |
marshall(State state,
StartStateSet starts,
AcceptStateSet accepts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
java.lang.String id,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
unmarshall(TransitionSystem ts,
StartStateSet starts,
AcceptStateSet accepts,
org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
java.util.Map<java.lang.String,State> idStateMap)
Converts this state to a TS state.
|
checkValidity, exportElements, getGraphics, importElements, marshall, unmarshall
getName, marshall, unmarshall, unmarshall
exportAttribute, exportElement, importElement, importText
public static final java.lang.String TAG
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp, Tsml tsml)
importAttributes
in class TsmlNode
protected java.lang.String exportAttributes(Tsml tsml)
exportAttributes
in class TsmlNode
public void unmarshall(TransitionSystem ts, StartStateSet starts, AcceptStateSet accepts, org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights, java.util.Map<java.lang.String,State> idStateMap)
ts
- TS to add this state to.map
- States found so far.public TsmlState marshall(State state, StartStateSet starts, AcceptStateSet accepts, org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights, java.lang.String id, org.processmining.models.connections.GraphLayoutConnection layout)