Package de.learnlib.oracle.parallelism

Interface BatchProcessor<T>

Type Parameters:

T - batch type

All Known Subinterfaces:

LearningCacheOracle<A,I,D>, LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>, LearningCacheOracle.MooreLearningCacheOracle<I,O>, MembershipOracle<I,D>, MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>, OmegaMembershipOracle<S,I,D>, OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>, ParallelOmegaOracle<S,I,D>, ParallelOracle<I,D>, SingleQueryOmegaOracle<S,I,D>, SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>, SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>, SingleQueryOracle<I,D>, SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>, StatisticOracle<I,D>, SymbolQueryOracle<I,O>

All Known Implementing Classes:

AbstractDynamicBatchProcessor, AbstractStaticBatchProcessor, AbstractSULOmegaOracle, CounterOracle, CounterSymbolQueryOracle, DFACacheOracle, DFACounterOracle, DFAHashCacheOracle, DFAHistogramOracle, DFASimulatorOracle, DynamicParallelOmegaOracle, DynamicParallelOracle, HistogramOracle, MappedOracle, MealyCacheOracle, MealyCounterOracle, MealyHistogramOracle, MealySimulatorOracle, MooreCacheOracle, MooreCounterOracle, MooreOutputHistogramOracle, MooreSimulatorOracle, NFASimulatorOracle, ReuseOracle, SBASimulatorOracle, SEVPASimulatorOracle, SimulatorOmegaOracle, SimulatorOmegaOracle.DFASimulatorOmegaOracle, SimulatorOmegaOracle.MealySimulatorOmegaOracle, SimulatorOracle, SPASimulatorOracle, SPMMSimulatorOracle, SQOOTBridge, StateLocalInputSULOracle, StateLocalInputSULSymbolQueryOracle, StaticParallelOmegaOracle, StaticParallelOracle, SULOracle, SULSymbolQueryOracle, SymbolQueryCache, ThreadSafeDFACacheOracle, ThreadSafeMealyCacheOracle, ThreadSafeMooreCacheOracle

public interface BatchProcessor<T>

A markup interface for classes that can process a batch of work in a parallel environment (e.g. a MembershipOracle when used by a ParallelOracle).

Method Summary

Modifier and Type	Method	Description
void	processBatch(Collection<? extends T> batch)	Process the batch.

Method Detail

processBatch

void processBatch(Collection<? extends T> batch)

Process the batch.

Parameters:

batch - the batch to process

Throws:

BatchInterruptedException - if the processing thread was interrupted by an exception.