public class PnmlConfiguration extends PnmlElement
Modifier and Type | Field and Description |
---|---|
protected java.util.Collection<PnmlGroup> |
groups |
static java.lang.String |
TAG |
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlConfiguration() |
protected |
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, importText, setFactory
public static final java.lang.String TAG
protected java.util.Collection<PnmlGroup> groups
protected PnmlConfiguration(java.lang.String tag)
protected PnmlConfiguration()
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 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)