de.learnlib.oracle.parallelism

Class DynamicParallelOracleBuilder<I,D>

java.lang.Object

de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder<I,D>

Type Parameters:

I - input symbol type

D - output type

public class DynamicParallelOracleBuilder<I,D>
extends Object

Builder class for a DynamicParallelOracle.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
DynamicParallelOracleBuilder(Collection<? extends MembershipOracle<I,D>> oracles)
DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)

Method Summary

Modifier and Type	Method and Description
DynamicParallelOracle<I,D>	create()
DynamicParallelOracleBuilder<I,D>	withBatchSize(int batchSize)
DynamicParallelOracleBuilder<I,D>	withCustomExecutor(ExecutorService executor)
DynamicParallelOracleBuilder<I,D>	withPoolPolicy(ParallelOracle.PoolPolicy policy)
DynamicParallelOracleBuilder<I,D>	withPoolSize(int poolSize)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DynamicParallelOracleBuilder

public DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)

DynamicParallelOracleBuilder

public DynamicParallelOracleBuilder(Collection<? extends MembershipOracle<I,D>> oracles)

Method Detail

withCustomExecutor

public DynamicParallelOracleBuilder<I,D> withCustomExecutor(ExecutorService executor)

withBatchSize

public DynamicParallelOracleBuilder<I,D> withBatchSize(int batchSize)

withPoolSize

public DynamicParallelOracleBuilder<I,D> withPoolSize(int poolSize)

withPoolPolicy

public DynamicParallelOracleBuilder<I,D> withPoolPolicy(ParallelOracle.PoolPolicy policy)

create

public DynamicParallelOracle<I,D> create()