Uses of Interface
de.learnlib.oracle.ThreadPool
-
Packages that use ThreadPool Package Description de.learnlib.oracle This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.de.learnlib.oracle.parallelism -
-
Uses of ThreadPool in de.learnlib.oracle
Subinterfaces of ThreadPool in de.learnlib.oracle Modifier and Type Interface Description interfaceParallelAdaptiveOracle<I,O>ParallelOracleequivalent forAdaptiveMembershipOracles.interfaceParallelOmegaOracle<S,I,D>ParallelOracleequivalent forOmegaMembershipOracles.interfaceParallelOracle<I,D>Basic interface forMembershipOracles that can process queries in parallel. -
Uses of ThreadPool in de.learnlib.oracle.parallelism
-