Uses of Interface
de.learnlib.oracle.parallelism.ThreadPool

Packages that use ThreadPool

Package	Description
de.learnlib.oracle.parallelism

Uses of ThreadPool in de.learnlib.oracle.parallelism

Subinterfaces of ThreadPool in de.learnlib.oracle.parallelism

Modifier and Type	Interface	Description
interface	ParallelOmegaOracle<S,I,D>	ParallelOracle equivalent for OmegaMembershipOracle.
interface	ParallelOracle<I,D>	Basic interface for MembershipOracles that can process queries in parallel.

Classes in de.learnlib.oracle.parallelism that implement ThreadPool

Modifier and Type	Class	Description
class	AbstractDynamicBatchProcessor<Q,P extends BatchProcessor<Q>>	A batch processor that dynamically distributes queries to worker threads.
class	AbstractStaticBatchProcessor<Q,P extends BatchProcessor<Q>>	A batch processor that statically distributes a set of queries among several threads.
class	DynamicParallelOmegaOracle<S,I,D>	A specialized AbstractDynamicBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.
class	DynamicParallelOracle<I,D>	A specialized AbstractDynamicBatchProcessor for MembershipOracles that implements ParallelOracle.
class	StaticParallelOmegaOracle<S,I,D>	A specialized AbstractStaticBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.
class	StaticParallelOracle<I,D>	A specialized AbstractStaticBatchProcessor for MembershipOracles that implements ParallelOracle.