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