Package de.learnlib.oracle.parallelism
Class DynamicParallelOracleBuilder<I,D>
- java.lang.Object
-
- de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder<Query<I,D>,MembershipOracle<I,D>,DynamicParallelOracle<I,D>>
-
- de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder<I,D>
-
- Type Parameters:
I
- input symbol typeD
- output domain type
public class DynamicParallelOracleBuilder<I,D> extends AbstractDynamicBatchProcessorBuilder<Query<I,D>,MembershipOracle<I,D>,DynamicParallelOracle<I,D>>
A specializedAbstractDynamicBatchProcessorBuilder
forMembershipOracle
s.
-
-
Constructor Summary
Constructors Constructor Description DynamicParallelOracleBuilder(Collection<? extends MembershipOracle<I,D>> oracles)
DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected DynamicParallelOracle<I,D>
buildOracle(Supplier<? extends MembershipOracle<I,D>> supplier, int batchSize, ExecutorService executorService)
-
Methods inherited from class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder
create, withBatchSize, withCustomExecutor, withPoolPolicy, withPoolSize
-
-
-
-
Constructor Detail
-
DynamicParallelOracleBuilder
public DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)
-
DynamicParallelOracleBuilder
public DynamicParallelOracleBuilder(Collection<? extends MembershipOracle<I,D>> oracles)
-
-
Method Detail
-
buildOracle
protected DynamicParallelOracle<I,D> buildOracle(Supplier<? extends MembershipOracle<I,D>> supplier, int batchSize, ExecutorService executorService)
- Specified by:
buildOracle
in classAbstractDynamicBatchProcessorBuilder<Query<I,D>,MembershipOracle<I,D>,DynamicParallelOracle<I,D>>
-
-