public interface MinerContext
Modifier and Type | Method and Description |
---|---|
java.util.concurrent.ExecutorService |
getExecutor() |
org.processmining.framework.plugin.PluginContext |
getPluginContext() |
org.processmining.framework.plugin.Progress |
getProgress() |