Uses of Class
de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder
-
Packages that use DynamicParallelOracleBuilder Package Description de.learnlib.oracle.parallelism -
-
Uses of DynamicParallelOracleBuilder in de.learnlib.oracle.parallelism
Methods in de.learnlib.oracle.parallelism that return DynamicParallelOracleBuilder Modifier and Type Method Description static <I,D>
DynamicParallelOracleBuilder<I,D>ParallelOracleBuilders. newDynamicParallelOracle(MembershipOracle<I,D> firstOracle, MembershipOracle<I,D>... otherOracles)
Convenience method forParallelOracleBuilders.newDynamicParallelOracle(Collection)
.static <I,O>
DynamicParallelOracleBuilder<I,Word<O>>ParallelOracleBuilders. newDynamicParallelOracle(StateLocalInputSUL<I,O> sul, O undefinedInput)
Creates aDynamicParallelOracleBuilder
using the providedsul
as a supplier.static <I,O>
DynamicParallelOracleBuilder<I,Word<O>>ParallelOracleBuilders. newDynamicParallelOracle(SUL<I,O> sul)
Creates aDynamicParallelOracleBuilder
using the providedsul
as a supplier.static <I,D>
DynamicParallelOracleBuilder<I,D>ParallelOracleBuilders. newDynamicParallelOracle(Collection<? extends MembershipOracle<I,D>> oracles)
Creates aDynamicParallelOracleBuilder
using the provided collection of membership oracles.static <I,D>
DynamicParallelOracleBuilder<I,D>ParallelOracleBuilders. newDynamicParallelOracle(Supplier<? extends MembershipOracle<I,D>> oracleSupplier)
Creates aDynamicParallelOracleBuilder
using the provided supplier.
-