Package org.bigraphs.framework.simulation.modelchecking

Class FixedThreadPoolExecutorProvider

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.FixedThreadPoolExecutorProvider

All Implemented Interfaces:

ExecutorServicePoolProvider

public class FixedThreadPoolExecutorProvider
extends Object
implements ExecutorServicePoolProvider

Default executor provider for the model checking task submission. It creates a fixed thread pool of size 10.

Author:

Dominik Grzelak

Constructor Summary

Constructors

Constructor	Description
FixedThreadPoolExecutorProvider()

Method Summary

Modifier and Type	Method	Description
ExecutorService	provide()

Methods inherited from class java.lang.Object

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

Constructor Details

FixedThreadPoolExecutorProvider

public FixedThreadPoolExecutorProvider()

Method Details

provide

public ExecutorService provide()

Specified by:

provide in interface ExecutorServicePoolProvider