Package org.processmining.plugins.inductiveminer2.withoutlog

Class MinerStateWithoutLog

java.lang.Object

org.processmining.plugins.inductiveminer2.withoutlog.MinerStateWithoutLog

public class MinerStateWithoutLog
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
MiningParametersWithoutLog	parameters

Constructor Summary

Constructors

Constructor	Description
MinerStateWithoutLog(MiningParametersWithoutLog 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 MiningParametersWithoutLog parameters

Constructor Detail

MinerStateWithoutLog

public MinerStateWithoutLog(MiningParametersWithoutLog 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()