Package | Description |
---|---|
org.processmining.plugins.pnml.base | |
org.processmining.plugins.pnml.elements.graphics |
Modifier and Type | Method and Description |
---|---|
PnmlPosition |
FullPnmlElementFactory.createPnmlPosition() |
PnmlPosition |
PnmlElementFactory.createPnmlPosition() |
Modifier and Type | Field and Description |
---|---|
protected PnmlPosition |
PnmlNodeGraphics.position
Position element.
|
Modifier and Type | Field and Description |
---|---|
protected java.util.List<PnmlPosition> |
PnmlArcGraphics.positionList
Positions elements (may be multiple).
|
Modifier and Type | Method and Description |
---|---|
PnmlPosition |
PnmlPosition.convertFromNet(ExpandableSubNet parent,
org.processmining.models.graphbased.AbstractGraphElement element,
org.processmining.models.connections.GraphLayoutConnection layout)
Creates a PnmlPosition object for the given element with the given
parent.
|
PnmlPosition |
PnmlPosition.convertFromNet(ExpandableSubNet parent,
java.awt.geom.Point2D point) |
PnmlPosition |
DefaultGraphicsFactory.createPnmlPosition() |