Module de.learnlib.oracle.parallelism

Package de.learnlib.oracle.parallelism

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.
BatchProcessorDefaults
DynamicParallelAdaptiveOracle<I,O>	A specialized AbstractDynamicBatchProcessor for AdaptiveMembershipOracles that implements ParallelAdaptiveOracle.
DynamicParallelAdaptiveOracleBuilder<I,O>	A specialized AbstractDynamicBatchProcessorBuilder for AdaptiveMembershipOracles.
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.
StaticParallelAdaptiveOracle<I,O>	A specialized AbstractStaticBatchProcessor for AdaptiveMembershipOracles that implements ParallelAdaptiveOracle.
StaticParallelAdaptiveOracleBuilder<I,O>	A specialized AbstractStaticBatchProcessorBuilder for AdaptiveMembershipOracles.
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.