Package | Description |
---|---|
org.processmining.plugins.pnml.simple |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<PNMLToolSpecific> |
AbstractPNMLElement.toolspecific |
Modifier and Type | Method and Description |
---|---|
java.util.List<PNMLToolSpecific> |
AbstractPNMLElement.getToolspecific() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractPNMLElement.setToolspecific(java.util.List<PNMLToolSpecific> toolspecific) |