Uses of Package
de.learnlib.oracle.parallelism

Packages that use de.learnlib.oracle.parallelism

Package	Description
de.learnlib.oracle.parallelism

Classes in de.learnlib.oracle.parallelism used by de.learnlib.oracle.parallelism

Class and Description
DynamicParallelOracle A parallel membership oracle that dynamically distributes queries to worker threads.
DynamicParallelOracleBuilder Builder class for a DynamicParallelOracle.
ParallelOracle Basic interface for MembershipOracles that can process queries in parallel.
ParallelOracle.PoolPolicy The policy for dealing with thread pools.
StaticParallelOracle A membership oracle that statically distributes a set of queries among several threads.
StaticParallelOracleBuilder A builder for a StaticParallelOracle.