public class PnmlConfiguration extends PnmlElement
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Collection<PnmlGroup> |
groups |
static java.lang.String |
TAG |
lineNumber, tag| Constructor and Description |
|---|
PnmlConfiguration() |
PnmlConfiguration(java.lang.String tag) |
| Modifier and Type | Method and Description |
|---|---|
PnmlConfiguration |
convertFromNet(ConfigurableResetInhibitorNet net,
java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.lang.String> map) |
void |
convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap,
java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap) |
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, importTextpublic static final java.lang.String TAG
protected java.util.Collection<PnmlGroup> groups
public PnmlConfiguration(java.lang.String tag)
public PnmlConfiguration()
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 convertToNet(PetrinetGraph net, java.util.Map<java.lang.String,Place> placeMap, java.util.Map<java.lang.String,Transition> transitionMap, java.util.Map<java.lang.String,PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>> edgeMap)
public PnmlConfiguration convertFromNet(ConfigurableResetInhibitorNet net, java.util.Map<org.processmining.models.graphbased.AbstractGraphElement,java.lang.String> map)