public class PnmlFinalMarking extends PnmlElement
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG |
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlFinalMarking() |
Modifier and Type | Method and Description |
---|---|
PnmlFinalMarking |
convertFromOpenNet(java.util.Collection<? extends Place> places,
Marking marking,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map) |
void |
convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Collection<Marking> finalMarkings) |
void |
convertToOpenNet(OpenNet openNet,
java.util.Map<java.lang.String,Place> placeMap) |
protected java.lang.String |
exportElements(Pnml pnml)
Exports all standard elements: None.
|
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard child elements: None.
|
checkValidity, exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText, setFactory
public static final java.lang.String TAG
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
PnmlElement
importElements
in class PnmlElement
protected java.lang.String exportElements(Pnml pnml)
PnmlElement
exportElements
in class PnmlElement
public void convertToOpenNet(OpenNet openNet, java.util.Map<java.lang.String,Place> placeMap)
public void convertToNet(PetrinetGraph net, java.util.Map<java.lang.String,Place> placeMap, java.util.Collection<Marking> finalMarkings)
public PnmlFinalMarking convertFromOpenNet(java.util.Collection<? extends Place> places, Marking marking, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map)