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 MinerStateBasepublic boolean isCancelled()
isCancelled in interface MinerStateBasepublic void shutdownThreadPools()