Uses of Class
de.learnlib.oracle.parallelism.DynamicParallelAdaptiveOracle
-
Packages that use DynamicParallelAdaptiveOracle Package Description de.learnlib.oracle.parallelism -
-
Uses of DynamicParallelAdaptiveOracle in de.learnlib.oracle.parallelism
Methods in de.learnlib.oracle.parallelism that return DynamicParallelAdaptiveOracle Modifier and Type Method Description protected DynamicParallelAdaptiveOracle<I,O>
DynamicParallelAdaptiveOracleBuilder. buildOracle(Supplier<? extends AdaptiveMembershipOracle<I,O>> supplier, int batchSize, ExecutorService executorService)
-