public class DfgMinerState
extends java.lang.Object
implements MinerStateBase

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`MultiSet<org.deckfour.xes.classification.XEventClass>`	`getDiscardedEvents()`
`DfgMiningParameters`	`getParameters()`
`java.util.concurrent.ExecutorService`	`getSatPool()`
`boolean`	`isCancelled()`
`void`	`shutdownThreadPools()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public DfgMinerState(DfgMiningParameters parameters,
                     org.processmining.framework.packages.PackageManager.Canceller canceller)

public DfgMiningParameters getParameters()

public MultiSet<org.deckfour.xes.classification.XEventClass> getDiscardedEvents()

Class DfgMinerState