de.learnlib.api.oracle.parallelism

Interfaces

• BatchProcessor
• ParallelOmegaOracle
• ParallelOracle
• ThreadPool

Enums

• ThreadPool.PoolPolicy

Exceptions

• BatchInterruptedException