Uses of Interface org.bigraphs.framework.core.providers.ExecutorServicePoolProvider (Bigraph Parent Project 3.0.0-SNAPSHOT API)

Packages that use ExecutorServicePoolProvider

Package

Description

org.bigraphs.framework.simulation.modelchecking

Uses of ExecutorServicePoolProvider in org.bigraphs.framework.simulation.modelchecking

Classes in org.bigraphs.framework.simulation.modelchecking that implement ExecutorServicePoolProvider

Modifier and Type

Class

Description

class

FixedThreadPoolExecutorProvider

Default executor provider for the model checking task submission.