Uses of Interface
de.learnlib.oracle.ThreadPool

Packages that use ThreadPool

Package	Description
de.learnlib.oracle	This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.parallelism

Uses of ThreadPool in de.learnlib.oracle

Subinterfaces of ThreadPool in de.learnlib.oracle

Modifier and Type	Interface	Description
interface	ParallelAdaptiveOracle<I,O>	ParallelOracle equivalent for AdaptiveMembershipOracles.
interface	ParallelOmegaOracle<S,I,D>	ParallelOracle equivalent for OmegaMembershipOracles.
interface	ParallelOracle<I,D>	Basic interface for MembershipOracles that can process queries in parallel.
interface	ParallelTimedQueryOracle<I,O>	ParallelOracle equivalent for TimedQueryOracles.

Uses of ThreadPool in de.learnlib.oracle.parallelism

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	DynamicParallelAdaptiveOracle<I,O>	A specialized AbstractDynamicBatchProcessor for AdaptiveMembershipOracles that implements ParallelAdaptiveOracle.
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	DynamicParallelTimedQueryOracle<I,O>	A specialized AbstractDynamicBatchProcessor for TimedQueryOracles that implements ParallelTimedQueryOracle.
class	StaticParallelAdaptiveOracle<I,O>	A specialized AbstractStaticBatchProcessor for AdaptiveMembershipOracles that implements ParallelAdaptiveOracle.
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.
class	StaticParallelTimedQueryOracle<I,O>	A specialized AbstractStaticBatchProcessor for TimedQueryOracles that implements ParallelTimedQueryOracle.