de.learnlib.oracle.parallelism

Class StaticParallelOracleBuilder<I,D>

java.lang.Object

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

Type Parameters:

I - input symbol type

D - output type

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>	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

withMinBatchSize

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

withPoolPolicy

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

withNumInstances

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

create

public StaticParallelOracle<I,D> create()