public class MinerState extends java.lang.Object implements MinerStateBase
Modifier and Type | Field and Description |
---|---|
MultiSet<org.deckfour.xes.classification.XEventClass> |
discardedEvents |
MiningParameters |
parameters |
Constructor and Description |
---|
MinerState(MiningParameters 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 MultiSet<org.deckfour.xes.classification.XEventClass> discardedEvents
public final MiningParameters parameters
public MinerState(MiningParameters parameters, org.processmining.framework.packages.PackageManager.Canceller canceller)
public java.util.concurrent.ExecutorService getMinerPool()
public java.util.concurrent.ExecutorService getSatPool()
getSatPool
in interface MinerStateBase
public boolean isCancelled()
isCancelled
in interface MinerStateBase
public void shutdownThreadPools()