public class DfgMinerState extends java.lang.Object implements MinerStateBase
| Constructor and Description |
|---|
DfgMinerState(DfgMiningParameters parameters,
org.processmining.framework.packages.PackageManager.Canceller canceller) |
| Modifier and Type | Method and Description |
|---|---|
MultiSet<org.deckfour.xes.classification.XEventClass> |
getDiscardedEvents() |
DfgMiningParameters |
getParameters() |
java.util.concurrent.ExecutorService |
getSatPool() |
boolean |
isCancelled() |
void |
shutdownThreadPools() |
public DfgMinerState(DfgMiningParameters parameters, org.processmining.framework.packages.PackageManager.Canceller canceller)
public DfgMiningParameters getParameters()
public MultiSet<org.deckfour.xes.classification.XEventClass> getDiscardedEvents()
public java.util.concurrent.ExecutorService getSatPool()
getSatPool in interface MinerStateBasepublic void shutdownThreadPools()
public boolean isCancelled()
isCancelled in interface MinerStateBase