de.learnlib.oracle.parallelism

Interfaces

• ParallelOracle

Classes

• DynamicParallelOracle
• DynamicParallelOracleBuilder
• ParallelOracleBuilders
• StaticParallelOracle
• StaticParallelOracleBuilder

Enums

• ParallelOracle.PoolPolicy

Exceptions

• ParallelOracleInterruptedException