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

Packages that use PnmlToolSpecific

Package	Description
org.processmining.plugins.pnml.base
org.processmining.plugins.pnml.elements

Uses of PnmlToolSpecific in org.processmining.plugins.pnml.base

Methods in org.processmining.plugins.pnml.base that return PnmlToolSpecific

Modifier and Type	Method and Description
PnmlToolSpecific	FullPnmlElementFactory.createPnmlToolSpecific()
PnmlToolSpecific	PnmlElementFactory.createPnmlToolSpecific()

Uses of PnmlToolSpecific in org.processmining.plugins.pnml.elements

Fields in org.processmining.plugins.pnml.elements 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).

Methods in org.processmining.plugins.pnml.elements that return PnmlToolSpecific

Modifier and Type	Method and Description
PnmlToolSpecific	DefaultPnmlElementFactory.createPnmlToolSpecific()