Uses of Class
org.processmining.plugins.pnml.toolspecific.PnmlToolSpecific

Packages that use PnmlToolSpecific

Package	Description
org.processmining.plugins.pnml

Uses of PnmlToolSpecific in org.processmining.plugins.pnml

Fields in org.processmining.plugins.pnml with type parameters of type PnmlToolSpecific

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).