de.learnlib.parallelism

Class StaticParallelOracleBuilder<I,D>

java.lang.Object

de.learnlib.parallelism.StaticParallelOracleBuilder<I,D>

Type Parameters:

I - input symbol type

D - output type

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

A builder for a StaticParallelOracle.

Author:

Malte Isberner

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
StaticParallelOracle<I,D>	create()
StaticParallelOracleBuilder<I,D>	withDefaultMinBatchSize()
StaticParallelOracleBuilder<I,D>	withDefaultNumInstances()
StaticParallelOracleBuilder<I,D>	withDefaultPoolPolicy()
StaticParallelOracleBuilder<I,D>	withMinBatchSize(int minBatchSize)
StaticParallelOracleBuilder<I,D>	withNumInstances(int numInstances)
StaticParallelOracleBuilder<I,D>	withPoolPolicy(ParallelOracle.PoolPolicy policy)

Methods inherited from class java.lang.Object

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

Constructor Detail

StaticParallelOracleBuilder

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

StaticParallelOracleBuilder

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

Method Detail

withDefaultMinBatchSize

@Nonnull
public StaticParallelOracleBuilder<I,D> withDefaultMinBatchSize()

withMinBatchSize

@Nonnull
public StaticParallelOracleBuilder<I,D> withMinBatchSize(@Nonnegative
                                                                  int minBatchSize)

withDefaultPoolPolicy

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

withPoolPolicy

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

withDefaultNumInstances

@Nonnull
public StaticParallelOracleBuilder<I,D> withDefaultNumInstances()

withNumInstances

@Nonnull
public StaticParallelOracleBuilder<I,D> withNumInstances(@Nonnegative
                                                                  int numInstances)

create

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