de.learnlib.api.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().

Author:

Malte Isberner

Nested Class Summary

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

ThreadPool.PoolPolicy

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

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

Method Summary

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

shutdown, shutdownNow

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processBatch, processQueries, processQuery