Package | Description |
---|---|
org.processmining.plugins.pnml.simple |
Modifier and Type | Method and Description |
---|---|
PNMLPoint |
PNMLGraphics.getDimension() |
PNMLPoint |
PNMLGraphics.getOffset() |
Modifier and Type | Method and Description |
---|---|
java.util.List<PNMLPoint> |
PNMLGraphics.getPosition() |
Modifier and Type | Method and Description |
---|---|
void |
PNMLGraphics.setDimension(PNMLPoint dimension) |
void |
PNMLGraphics.setOffset(PNMLPoint offset) |
Modifier and Type | Method and Description |
---|---|
void |
PNMLGraphics.setPosition(java.util.List<PNMLPoint> position) |