Uses of Class
de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder

Packages that use AbstractStaticBatchProcessorBuilder

Package	Description
de.learnlib.oracle.parallelism

Uses of AbstractStaticBatchProcessorBuilder in de.learnlib.oracle.parallelism

Subclasses of AbstractStaticBatchProcessorBuilder in de.learnlib.oracle.parallelism

Modifier and Type	Class	Description
class	StaticParallelAdaptiveOracleBuilder<I,O>	A specialized AbstractStaticBatchProcessorBuilder for AdaptiveMembershipOracles.
class	StaticParallelOmegaOracleBuilder<S,I,D>	A specialized AbstractStaticBatchProcessorBuilder for OmegaMembershipOracles.
class	StaticParallelOracleBuilder<I,D>	A specialized AbstractStaticBatchProcessorBuilder for MembershipOracles.

Methods in de.learnlib.oracle.parallelism that return AbstractStaticBatchProcessorBuilder

Modifier and Type	Method	Description
AbstractStaticBatchProcessorBuilder<Q,P,OR>	AbstractStaticBatchProcessorBuilder.withCustomExecutor(ExecutorService executor)	Sets the executor service to use for submitting batches.
AbstractStaticBatchProcessorBuilder<Q,P,OR>	AbstractStaticBatchProcessorBuilder.withMinBatchSize(@org.checkerframework.checker.index.qual.NonNegative int minBatchSize)	Sets the minimal size of batches that are submitted.
AbstractStaticBatchProcessorBuilder<Q,P,OR>	AbstractStaticBatchProcessorBuilder.withNumInstances(@org.checkerframework.checker.index.qual.NonNegative int numInstances)	Sets the number of instances that should process batches.
AbstractStaticBatchProcessorBuilder<Q,P,OR>	AbstractStaticBatchProcessorBuilder.withPoolPolicy(ThreadPool.PoolPolicy policy)	Sets the pool policy in case the builder creates its own executor for processing batches.