Package org.processmining.plugins.inductiveminer2.mining

Class MinerState

java.lang.Object

org.processmining.plugins.inductiveminer2.mining.MinerState

public class MinerState
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
MiningParameters	parameters

Constructor Summary

Constructors

Constructor	Description
MinerState(MiningParameters parameters, org.processmining.framework.packages.PackageManager.Canceller canceller)

Method Summary

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

Field Detail

parameters

public final MiningParameters parameters

Constructor Detail

MinerState

public MinerState(MiningParameters parameters,
                  org.processmining.framework.packages.PackageManager.Canceller canceller)

Method Detail

getMinerPool

public java.util.concurrent.ExecutorService getMinerPool()

getSatPool

public java.util.concurrent.ExecutorService getSatPool()

isCancelled

public boolean isCancelled()

shutdownThreadPools

public void shutdownThreadPools()