public class MinerState
extends java.lang.Object
implements MinerStateBase

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.concurrent.ExecutorService`	`getMinerPool()`
`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 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()

Modifier and Type	Field	Description
`MultiSet<org.deckfour.xes.classification.XEventClass>`	`discardedEvents`
`MiningParameters`	`parameters`

Class MinerState