Package org.processmining.plugins.InductiveMiner.jobList

Class ThreadPoolMiner

java.lang.Object

org.processmining.plugins.InductiveMiner.jobList.ThreadPoolMiner

public class ThreadPoolMiner
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ThreadPoolMiner()
ThreadPoolMiner(int numberOfThreads)

Method Summary

Modifier and Type	Method	Description
void	addJob(java.lang.Runnable job)
int	getNumerOfThreads()
void	join()
static ThreadPoolMiner	useFactor(double factor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ThreadPoolMiner

public ThreadPoolMiner()

ThreadPoolMiner

public ThreadPoolMiner(int numberOfThreads)

Method Detail

useFactor

public static ThreadPoolMiner useFactor(double factor)

addJob

public void addJob(java.lang.Runnable job)

join

public void join()
          throws java.util.concurrent.ExecutionException

Throws:

java.util.concurrent.ExecutionException

getNumerOfThreads

public int getNumerOfThreads()