Package de.learnlib.oracle.parallelism

Interface Summary

Interface	Description
BatchProcessor<T>	A markup interface for classes that can process a batch of work in a parallel environment (e.g. a MembershipOracle when used by a ParallelOracle).
ParallelOmegaOracle<S,I,D>	ParallelOracle equivalent for OmegaMembershipOracle.
ParallelOracle<I,D>	Basic interface for MembershipOracles that can process queries in parallel.
ThreadPool	A markup interface for a component that manages a pool of threads that may want to be shut down after usage.

Class Summary

Class	Description
AbstractDynamicBatchProcessor<Q,P extends BatchProcessor<Q>>	A batch processor that dynamically distributes queries to worker threads.
AbstractDynamicBatchProcessorBuilder<Q,P extends BatchProcessor<Q>,OR>	Builder class for a AbstractDynamicBatchProcessor.
AbstractStaticBatchProcessor<Q,P extends BatchProcessor<Q>>	A batch processor that statically distributes a set of queries among several threads.
AbstractStaticBatchProcessorBuilder<Q,P extends BatchProcessor<Q>,OR>	A builder for a AbstractStaticBatchProcessor.
DynamicParallelOmegaOracle<S,I,D>	A specialized AbstractDynamicBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.
DynamicParallelOmegaOracleBuilder<S,I,D>	A specialized AbstractDynamicBatchProcessorBuilder for OmegaMembershipOracles.
DynamicParallelOracle<I,D>	A specialized AbstractDynamicBatchProcessor for MembershipOracles that implements ParallelOracle.
DynamicParallelOracleBuilder<I,D>	A specialized AbstractDynamicBatchProcessorBuilder for MembershipOracles.
ParallelOracleBuilders	Builders for (static and dynamic) parallel oracles.
StaticParallelOmegaOracle<S,I,D>	A specialized AbstractStaticBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.
StaticParallelOmegaOracleBuilder<S,I,D>	A specialized AbstractStaticBatchProcessorBuilder for OmegaMembershipOracles.
StaticParallelOracle<I,D>	A specialized AbstractStaticBatchProcessor for MembershipOracles that implements ParallelOracle.
StaticParallelOracleBuilder<I,D>	A specialized AbstractStaticBatchProcessorBuilder for MembershipOracles.

Enum Summary

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

Exception Summary

Exception	Description
BatchInterruptedException	Exception that is thrown if a parallel batch is interrupted during processing.