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, setFactorypublic static final java.lang.String TAG
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
PnmlElementimportElements in class PnmlElementprotected java.lang.String exportElements(Pnml pnml)
PnmlElementexportElements in class PnmlElementpublic 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)