Package | Description |
---|---|
org.processmining.log.dialogs |
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) |