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.

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.