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

Packages that use StaticParallelOmegaOracleBuilder

Package	Description
de.learnlib.oracle.parallelism

Uses of StaticParallelOmegaOracleBuilder in de.learnlib.oracle.parallelism

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

Modifier and Type	Method	Description
static <S,I,D> StaticParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newStaticParallelOmegaOracle(OmegaMembershipOracle<S,I,D> firstOracle, OmegaMembershipOracle<S,I,D>... otherOracles)	Convenience method for ParallelOracleBuilders.newStaticParallelOmegaOracle(Collection).
static <I,O> StaticParallelOmegaOracleBuilder<?,I,net.automatalib.word.Word<O>>	ParallelOracleBuilders.newStaticParallelOmegaOracle(ObservableSUL<?,I,O> sul)	Creates a StaticParallelOmegaOracleBuilder using the provided sul as a supplier.
static <S,I,D> StaticParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newStaticParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles)	Creates a StaticParallelOmegaOracleBuilder using the provided collection of membership oracles.
static <S,I,D> StaticParallelOmegaOracleBuilder<S,I,D>	ParallelOracleBuilders.newStaticParallelOmegaOracle(Supplier<? extends OmegaMembershipOracle<S,I,D>> oracleSupplier)	Creates a StaticParallelOmegaOracleBuilder using the provided supplier.