Package de.learnlib.oracle.parallelism

Interface Summary

Interface	Description
ParallelOracle<I,D>	Basic interface for MembershipOracles that can process queries in parallel.

Class Summary

Class	Description
DynamicParallelOracle<I,D>	A parallel membership oracle that dynamically distributes queries to worker threads.
DynamicParallelOracleBuilder<I,D>	Builder class for a DynamicParallelOracle.
ParallelOracleBuilders	Builders for (static and dynamic) parallel oracles.
StaticParallelOracle<I,D>	A membership oracle that statically distributes a set of queries among several threads.
StaticParallelOracleBuilder<I,D>	A builder for a StaticParallelOracle.

Enum Summary

Enum	Description
ParallelOracle.PoolPolicy	The policy for dealing with thread pools.

Exception Summary

Exception	Description
ParallelOracleInterruptedException	Exception that is thrown if a parallel oracle is interrupted during execution.