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

@ParametersAreNonnullByDefault
public class DynamicParallelOracleBuilder<I,D>
extends Object

Builder class for a DynamicParallelOracle.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
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>	withDefaultBatchSize()
DynamicParallelOracleBuilder<I,D>	withDefaultExecutor()
DynamicParallelOracleBuilder<I,D>	withDefaultPoolPolicy()
DynamicParallelOracleBuilder<I,D>	withDefaultPoolSize()
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)

Method Detail

withCustomExecutor

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

withDefaultExecutor

@Nonnull
public DynamicParallelOracleBuilder<I,D> withDefaultExecutor()

withBatchSize

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

withDefaultBatchSize

@Nonnull
public DynamicParallelOracleBuilder<I,D> withDefaultBatchSize()

withPoolSize

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

withDefaultPoolSize

@Nonnull
public DynamicParallelOracleBuilder<I,D> withDefaultPoolSize()

withDefaultPoolPolicy

@Nonnull
public DynamicParallelOracleBuilder<I,D> withDefaultPoolPolicy()

withPoolPolicy

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

create

@Nonnull
public DynamicParallelOracle<I,D> create()