ThreadPool (LearnLib :: API 0.17.0 API)

All Known Subinterfaces:

ParallelOmegaOracle<S,I,D>, ParallelOracle<I,D>
```
public interface ThreadPool
```
A markup interface for a component that manages a pool of threads that may want to be shut down after usage.

See Also:

ExecutorService

Nested Class Summary

Nested Classes
Modifier and Type Interface Description

static class ThreadPool.PoolPolicy
The policy for dealing with thread pools.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`shutdown()`	Shuts down all worker threads, but waits for any queued queries to be processed.
`void`	`shutdownNow()`	Shuts down all worker threads, and attempts to abort any query processing currently taking place.

- Method Detail
  - shutdown
```
void shutdown()
```
    Shuts down all worker threads, but waits for any queued queries to be processed.
    
    See Also:
    
    ExecutorService.shutdown()
  - shutdownNow
```
void shutdownNow()
```
    Shuts down all worker threads, and attempts to abort any query processing currently taking place.
    
    See Also:
    
    ExecutorService.shutdownNow()