Package | Description |
---|---|
org.processmining.plugins.pnml.base | |
org.processmining.plugins.pnml.elements |
Modifier and Type | Method and Description |
---|---|
PnmlToolSpecific |
FullPnmlElementFactory.createPnmlToolSpecific() |
PnmlToolSpecific |
PnmlElementFactory.createPnmlToolSpecific() |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<PnmlToolSpecific> |
PnmlAnnotation.toolSpecificList
ToolSpecifics element.
|
protected java.util.List<PnmlToolSpecific> |
PnmlBasicObject.toolSpecificList
ToolSpecifics elements (there may be multiple).
|
Modifier and Type | Method and Description |
---|---|
PnmlToolSpecific |
DefaultPnmlElementFactory.createPnmlToolSpecific() |