public class PnmlMarkedPlace extends PnmlElement
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
TAG |
factory, lineNumber, tag| Modifier | Constructor and Description |
|---|---|
protected |
PnmlMarkedPlace() |
| Modifier and Type | Method and Description |
|---|---|
PnmlMarkedPlace |
convertFromOpenNet(java.lang.String id,
int nofTokens) |
void |
convertToOpenNet(Marking marking,
java.util.Map<java.lang.String,Place> placeMap) |
protected java.lang.String |
exportAttributes(Pnml pnml)
Exports all standard attributes: None.
|
protected java.lang.String |
exportElements(Pnml pnml)
Exports all standard elements: None.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard attributes: None.
|
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard child elements: None.
|
checkValidity, exportAttribute, exportElement, importElement, importText, setFactorypublic static final java.lang.String TAG
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
PnmlElementimportAttributes in class PnmlElementprotected java.lang.String exportAttributes(Pnml pnml)
PnmlElementexportAttributes in class PnmlElementprotected 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(Marking marking, java.util.Map<java.lang.String,Place> placeMap)
public PnmlMarkedPlace convertFromOpenNet(java.lang.String id, int nofTokens)