Uses of Package
de.learnlib.oracle.parallelism
-
Packages that use de.learnlib.oracle.parallelism Package Description de.learnlib.oracle This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.de.learnlib.oracle.parallelism de.learnlib.statistic -
Classes in de.learnlib.oracle.parallelism used by de.learnlib.oracle Class Description BatchProcessor A markup interface for classes that can process a batch of work in a parallel environment (e.g. aMembershipOraclewhen used by aParallelOracle). -
Classes in de.learnlib.oracle.parallelism used by de.learnlib.oracle.parallelism Class Description BatchProcessor A markup interface for classes that can process a batch of work in a parallel environment (e.g. aMembershipOraclewhen used by aParallelOracle).ThreadPool A markup interface for a component that manages a pool of threads that may want to be shut down after usage.ThreadPool.PoolPolicy The policy for dealing with thread pools. -
Classes in de.learnlib.oracle.parallelism used by de.learnlib.statistic Class Description BatchProcessor A markup interface for classes that can process a batch of work in a parallel environment (e.g. aMembershipOraclewhen used by aParallelOracle).