Uses of Class
org.processmining.plugins.ilpminer.ILPMinerUI.ExtensionProperties

Packages that use ILPMinerUI.ExtensionProperties

Package	Description
org.processmining.plugins.ilpminer

Uses of ILPMinerUI.ExtensionProperties in org.processmining.plugins.ilpminer

Methods in org.processmining.plugins.ilpminer that return ILPMinerUI.ExtensionProperties

Modifier and Type	Method and Description
static ILPMinerUI.ExtensionProperties	ILPMinerUI.ExtensionProperties.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ILPMinerUI.ExtensionProperties[]	ILPMinerUI.ExtensionProperties.values() Returns an array containing the constants of this enum type, in the order they are declared.