Uses of Class
de.learnlib.oracle.parallelism.StaticParallelAdaptiveOracleBuilder

Packages that use StaticParallelAdaptiveOracleBuilder

Package	Description
de.learnlib.oracle.parallelism

Uses of StaticParallelAdaptiveOracleBuilder in de.learnlib.oracle.parallelism

Methods in de.learnlib.oracle.parallelism that return StaticParallelAdaptiveOracleBuilder

Modifier and Type	Method	Description
static <I,O> StaticParallelAdaptiveOracleBuilder<I,O>	ParallelOracleBuilders.newStaticParallelAdaptiveOracle(AdaptiveMembershipOracle<I,O> firstOracle, AdaptiveMembershipOracle<I,O>... otherOracles)	Convenience method for ParallelOracleBuilders.newStaticParallelAdaptiveOracle(Collection).
static <I,O> StaticParallelAdaptiveOracleBuilder<I,O>	ParallelOracleBuilders.newStaticParallelAdaptiveOracle(SUL<I,O> sul)	Creates a StaticParallelAdaptiveOracleBuilder using the provided sul as a supplier.
static <I,O> StaticParallelAdaptiveOracleBuilder<I,O>	ParallelOracleBuilders.newStaticParallelAdaptiveOracle(Collection<? extends AdaptiveMembershipOracle<I,O>> oracles)	Creates a StaticParallelAdaptiveOracleBuilder using the provided collection of membership oracles.
static <I,O> StaticParallelAdaptiveOracleBuilder<I,O>	ParallelOracleBuilders.newStaticParallelAdaptiveOracle(Supplier<? extends AdaptiveMembershipOracle<I,O>> oracleSupplier)	Creates a StaticParallelAdaptiveOracleBuilder using the provided supplier.