Uses of Interface
org.processmining.log.parameters.MinerParameter

Packages that use MinerParameter

Package	Description
org.processmining.log.dialogs

Uses of MinerParameter in org.processmining.log.dialogs

Constructors in org.processmining.log.dialogs with parameters of type MinerParameter

Constructor and Description
MinerPanel(java.util.List<java.lang.String> miners, MinerParameter minerParameter)
MinerPanel(java.util.List<java.lang.String> miners, MinerParameter minerParameter, UpdateParameter updateParameter)