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