Uses of Interface
org.processmining.framework.plugin.PluginDescriptorID
-
Uses of PluginDescriptorID in org.processmining.framework.plugin
Modifier and TypeMethodDescriptionPluginManager.getPlugin
(PluginDescriptorID id) Returns a PluginDescriptor with the given id. -
Uses of PluginDescriptorID in org.processmining.framework.plugin.impl
Modifier and TypeMethodDescriptionint
PluginDescriptorIDImpl.compareTo
(PluginDescriptorID o) PluginManagerImpl.getPlugin
(PluginDescriptorID id)