Package de.learnlib.oracle.parallelism
Class DynamicParallelOmegaOracleBuilder<S,I,D>
- java.lang.Object
-
- de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder<OmegaQuery<I,D>,OmegaMembershipOracle<S,I,D>,DynamicParallelOmegaOracle<S,I,D>>
-
- de.learnlib.oracle.parallelism.DynamicParallelOmegaOracleBuilder<S,I,D>
-
- Type Parameters:
S
- oracle state typeI
- input symbol typeD
- output domain type
public class DynamicParallelOmegaOracleBuilder<S,I,D> extends AbstractDynamicBatchProcessorBuilder<OmegaQuery<I,D>,OmegaMembershipOracle<S,I,D>,DynamicParallelOmegaOracle<S,I,D>>
A specializedAbstractDynamicBatchProcessorBuilder
forOmegaMembershipOracle
s.
-
-
Constructor Summary
Constructors Constructor Description DynamicParallelOmegaOracleBuilder(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles)
DynamicParallelOmegaOracleBuilder(Supplier<? extends OmegaMembershipOracle<S,I,D>> oracleSupplier)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected DynamicParallelOmegaOracle<S,I,D>
buildOracle(Supplier<? extends OmegaMembershipOracle<S,I,D>> supplier, int batchSize, ExecutorService executorService)
-
Methods inherited from class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder
create, withBatchSize, withCustomExecutor, withPoolPolicy, withPoolSize
-
-
-
-
Constructor Detail
-
DynamicParallelOmegaOracleBuilder
public DynamicParallelOmegaOracleBuilder(Supplier<? extends OmegaMembershipOracle<S,I,D>> oracleSupplier)
-
DynamicParallelOmegaOracleBuilder
public DynamicParallelOmegaOracleBuilder(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles)
-
-
Method Detail
-
buildOracle
protected DynamicParallelOmegaOracle<S,I,D> buildOracle(Supplier<? extends OmegaMembershipOracle<S,I,D>> supplier, int batchSize, ExecutorService executorService)
- Specified by:
buildOracle
in classAbstractDynamicBatchProcessorBuilder<OmegaQuery<I,D>,OmegaMembershipOracle<S,I,D>,DynamicParallelOmegaOracle<S,I,D>>
-
-