Uses of Class
de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder
-
Packages that use AbstractDynamicBatchProcessorBuilder Package Description de.learnlib.oracle.parallelism -
-
Uses of AbstractDynamicBatchProcessorBuilder in de.learnlib.oracle.parallelism
Subclasses of AbstractDynamicBatchProcessorBuilder in de.learnlib.oracle.parallelism Modifier and Type Class Description class
DynamicParallelOmegaOracleBuilder<S,I,D>
A specializedAbstractDynamicBatchProcessorBuilder
forOmegaMembershipOracle
s.class
DynamicParallelOracleBuilder<I,D>
A specializedAbstractDynamicBatchProcessorBuilder
forMembershipOracle
s.Methods in de.learnlib.oracle.parallelism that return AbstractDynamicBatchProcessorBuilder Modifier and Type Method Description AbstractDynamicBatchProcessorBuilder<Q,P,OR>
AbstractDynamicBatchProcessorBuilder. withBatchSize(int batchSize)
AbstractDynamicBatchProcessorBuilder<Q,P,OR>
AbstractDynamicBatchProcessorBuilder. withCustomExecutor(ExecutorService executor)
AbstractDynamicBatchProcessorBuilder<Q,P,OR>
AbstractDynamicBatchProcessorBuilder. withPoolPolicy(ThreadPool.PoolPolicy policy)
AbstractDynamicBatchProcessorBuilder<Q,P,OR>
AbstractDynamicBatchProcessorBuilder. withPoolSize(@org.checkerframework.checker.index.qual.NonNegative int poolSize)
-