Package de.learnlib.oracle.parallelism

Interface ParallelOracle<I,D>

Type Parameters:

I - input symbol type

D - output domain type

All Superinterfaces:

BatchProcessor<Query<I,D>>, MembershipOracle<I,D>, QueryAnswerer<I,D>, ThreadPool

public interface ParallelOracle<I,D>
extends ThreadPool, MembershipOracle<I,D>

Basic interface for MembershipOracles that can process queries in parallel.

Parallel oracles usually use one or more dedicated worker threads in which the processing of queries is performed. Since these do not have a defined life span, they must be terminated explicitly using ThreadPool.shutdown() or ThreadPool.shutdownNow().

Nested Class Summary

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

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>

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

ThreadPool.PoolPolicy

Method Summary

Methods inherited from interface de.learnlib.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processBatch, processQueries, processQuery

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

shutdown, shutdownNow