Package de.learnlib.oracle.parallelism

Interface ParallelOmegaOracle<S,I,D>

Type Parameters:

S - oracle state type

I - input symbol type

D - output domain type

All Superinterfaces:

BatchProcessor<OmegaQuery<I,D>>, OmegaMembershipOracle<S,I,D>, OmegaQueryAnswerer<S,I,D>, ThreadPool

public interface ParallelOmegaOracle<S,I,D>
extends ThreadPool, OmegaMembershipOracle<S,I,D>

ParallelOracle equivalent for OmegaMembershipOracle.

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.OmegaMembershipOracle

OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

Nested classes/interfaces inherited from interface de.learnlib.oracle.parallelism.ThreadPool

ThreadPool.PoolPolicy

Method Summary

Methods inherited from interface de.learnlib.oracle.OmegaMembershipOracle

answerQuery, asOracle, getMembershipOracle, isSameState, processBatch, processQueries, processQuery

Methods inherited from interface de.learnlib.oracle.parallelism.ThreadPool

shutdown, shutdownNow