public class MinerStateWithoutLog
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
MiningParametersWithoutLog |
parameters |
Constructor and Description |
---|
MinerStateWithoutLog(MiningParametersWithoutLog parameters,
org.processmining.framework.packages.PackageManager.Canceller canceller) |
Modifier and Type | Method and Description |
---|---|
java.util.concurrent.ExecutorService |
getMinerPool() |
java.util.concurrent.ExecutorService |
getSatPool() |
boolean |
isCancelled() |
void |
shutdownThreadPools() |
public final MiningParametersWithoutLog parameters
public MinerStateWithoutLog(MiningParametersWithoutLog parameters, org.processmining.framework.packages.PackageManager.Canceller canceller)