All Classes

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.
ThreadSafeDFACacheOracle<I>	A thread-safe variant of DFACacheOracle.
ThreadSafeDFACaches	A factory for creating thread-safe caches for DFA-based MembershipOracles.
ThreadSafeMealyCacheConsistencyTest<I,O>	A thread-safe variant of EquivalenceOracle.MealyEquivalenceOracle.
ThreadSafeMealyCacheOracle<I,O>	A thread-safe variant of MealyCacheOracle.
ThreadSafeMealyCaches	A factory for creating thread-safe caches for MealyMachine-based MembershipOracles.
ThreadSafeMooreCacheConsistencyTest<I,O>	A thread-safe variant of EquivalenceOracle.MooreEquivalenceOracle.
ThreadSafeMooreCacheOracle<I,O>	A thread-safe variant of MealyCacheOracle.
ThreadSafeMooreCaches	A factory for creating thread-safe caches for MooreMachine-based MembershipOracles.
ThreadSafeStateLocalInputSULCache<I,O>	A thread-safe variant of StateLocalInputSULCache.
ThreadSafeSULCache<I,O>	A thread-safe variant of SULCache.
ThreadSafeSULCaches	A factory for creating thread-safe SUL caches.