Uses of Interface
de.learnlib.oracle.parallelism.BatchProcessor

Packages that use BatchProcessor

Package	Description
de.learnlib.algorithm.adt.util
de.learnlib.filter.cache
de.learnlib.filter.cache.dfa
de.learnlib.filter.cache.mealy
de.learnlib.filter.cache.moore
de.learnlib.filter.reuse
de.learnlib.filter.statistic.oracle
de.learnlib.oracle	This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.membership
de.learnlib.oracle.parallelism
de.learnlib.statistic

Uses of BatchProcessor in de.learnlib.algorithm.adt.util

Classes in de.learnlib.algorithm.adt.util that implement BatchProcessor

Modifier and Type	Class	Description
class	SQOOTBridge<I,O>	A utility class that links an observation tree with a symbol query oracle, meaning that all queries to the symbol query oracle will be stored in the observation tree.

Uses of BatchProcessor in de.learnlib.filter.cache

Subinterfaces of BatchProcessor in de.learnlib.filter.cache

Modifier and Type	Interface	Description
interface	LearningCacheOracle<A,I,D>	A learning cache that also serves as a membership oracle.
static interface	LearningCacheOracle.DFALearningCacheOracle<I>	Specialization of the LearningCacheOracle interface for DFA learning.
static interface	LearningCacheOracle.MealyLearningCacheOracle<I,O>	Specialization of the LearningCacheOracle interface for Mealy machine learning.
static interface	LearningCacheOracle.MooreLearningCacheOracle<I,O>	Specialization of the LearningCacheOracle interface for Moore machine learning.

Uses of BatchProcessor in de.learnlib.filter.cache.dfa

Classes in de.learnlib.filter.cache.dfa that implement BatchProcessor

Modifier and Type	Class	Description
class	DFACacheOracle<I>	DFA cache.
class	DFAHashCacheOracle<I>	A LearningCacheOracle.DFALearningCacheOracle that uses a Map for internal cache organization.
class	ThreadSafeDFACacheOracle<I>	A thread-safe variant of DFACacheOracle.

Uses of BatchProcessor in de.learnlib.filter.cache.mealy

Classes in de.learnlib.filter.cache.mealy that implement BatchProcessor

Modifier and Type	Class	Description
class	MealyCacheOracle<I,O>	Mealy cache.
class	SymbolQueryCache<I,O>	A cache for a SymbolQueryOracle.
class	ThreadSafeMealyCacheOracle<I,O>	A thread-safe variant of MealyCacheOracle.

Uses of BatchProcessor in de.learnlib.filter.cache.moore

Classes in de.learnlib.filter.cache.moore that implement BatchProcessor

Modifier and Type	Class	Description
class	MooreCacheOracle<I,O>	Moore cache.
class	ThreadSafeMooreCacheOracle<I,O>	A thread-safe variant of MealyCacheOracle.

Uses of BatchProcessor in de.learnlib.filter.reuse

Classes in de.learnlib.filter.reuse that implement BatchProcessor

Modifier and Type	Class	Description
class	ReuseOracle<S,I,O>	The reuse oracle is a MembershipOracle.MealyMembershipOracle that is able to Cache queries: Each processed query will not be delegated again (instead the answer will be retrieved from the ReuseTree) Pump queries: If the ReuseTree is configured to know which symbols are model invariant input symbols via ReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a database which does not change the SUL) or configured for failure output symbols via ReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set) (e.g. a roll back mechanism exists for the invoked symbol) the oracle could ''pump'' those symbols inside a query once seen. Reuse system states: There are a lot of situations where a prefix of a query is already known and a system state is available.

Uses of BatchProcessor in de.learnlib.filter.statistic.oracle

Classes in de.learnlib.filter.statistic.oracle that implement BatchProcessor

Modifier and Type	Class	Description
class	CounterOracle<I,D>	A MembershipOracle that counts both the number of queries and the total number of symbols occurring in all those queries.
class	CounterSymbolQueryOracle<I,O>	A simple wrapper for counting the number of resets and symbol queries of a SymbolQueryOracle.
class	DFACounterOracle<I>	This is an auto-generated refinement.
class	DFAHistogramOracle<I>	This is an auto-generated refinement.
class	HistogramOracle<I,D>	Collects a histogram of passed query lengths.
class	MealyCounterOracle<I,O>	This is an auto-generated refinement.
class	MealyHistogramOracle<I,O>	This is an auto-generated refinement.
class	MooreCounterOracle<I,O>	This is an auto-generated refinement.
class	MooreOutputHistogramOracle<I,O>	This is an auto-generated refinement.

Uses of BatchProcessor in de.learnlib.oracle

Subinterfaces of BatchProcessor in de.learnlib.oracle

Modifier and Type	Interface	Description
interface	MembershipOracle<I,D>	Membership oracle interface.
static interface	MembershipOracle.DFAMembershipOracle<I>	A specialization of the MembershipOracle that binds the output domain to Booleans.
static interface	MembershipOracle.MealyMembershipOracle<I,O>	A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.
static interface	MembershipOracle.MooreMembershipOracle<I,O>	A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.
interface	OmegaMembershipOracle<S,I,D>	Answers OmegaQuerys, similar to a MembershipOracle.
static interface	OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>
static interface	OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
interface	SingleQueryOmegaOracle<S,I,D>	An OmegaMembershipOracle that answers single queries.
static interface	SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>
static interface	SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
interface	SingleQueryOracle<I,D>	Base interface for oracles whose semantic is defined in terms of directly answering single queries (like a QueryAnswerer), and that cannot profit from batch processing of queries.
static interface	SingleQueryOracle.SingleQueryOracleDFA<I>
static interface	SingleQueryOracle.SingleQueryOracleMealy<I,O>
static interface	SingleQueryOracle.SingleQueryOracleMoore<I,O>
interface	SymbolQueryOracle<I,O>	Symbol query interface.

Uses of BatchProcessor in de.learnlib.oracle.membership

Classes in de.learnlib.oracle.membership that implement BatchProcessor

Modifier and Type	Class	Description
class	AbstractSULOmegaOracle<S,I,O,Q>	An omega membership oracle for an ObservableSUL.
class	DFASimulatorOracle<I>	This is an auto-generated refinement.
class	MappedOracle<AI,AO,CI,CO>	A utility class that allows to lift a membership oracle of concrete input/output symbols to a membership oracle of abstract input/output symbols, given a corresponding mapper.
class	MealySimulatorOracle<I,O>	This is an auto-generated refinement.
class	MooreSimulatorOracle<I,O>	This is an auto-generated refinement.
class	NFASimulatorOracle<I>	This is an auto-generated refinement.
class	SBASimulatorOracle<I>	This is an auto-generated refinement.
class	SEVPASimulatorOracle<I>	This is an auto-generated refinement.
class	SimulatorOmegaOracle<S,I,D>	Answers OmegaQuerys by simulating an automaton.
static class	SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>
static class	SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
class	SimulatorOracle<I,D>	A membership oracle backed by an automaton.
class	SPASimulatorOracle<I>	This is an auto-generated refinement.
class	SPMMSimulatorOracle<I,O>	This is an auto-generated refinement.
class	StateLocalInputSULOracle<I,O>	A wrapper around a system under learning (SUL) with state local inputs.
class	StateLocalInputSULSymbolQueryOracle<I,O>	A SymbolQueryOracle wrapper for StateLocalInputSULs.
class	SULOracle<I,O>	A wrapper around a system under learning (SUL).
class	SULSymbolQueryOracle<I,O>	A wrapper that allows to use a SUL where a SymbolQueryOracle is expected.

Uses of BatchProcessor in de.learnlib.oracle.parallelism

Classes in de.learnlib.oracle.parallelism with type parameters of type BatchProcessor

Modifier and Type	Class	Description
class	AbstractDynamicBatchProcessor<Q,P extends BatchProcessor<Q>>	A batch processor that dynamically distributes queries to worker threads.
class	AbstractDynamicBatchProcessorBuilder<Q,P extends BatchProcessor<Q>,OR>	Builder class for a AbstractDynamicBatchProcessor.
class	AbstractStaticBatchProcessor<Q,P extends BatchProcessor<Q>>	A batch processor that statically distributes a set of queries among several threads.
class	AbstractStaticBatchProcessorBuilder<Q,P extends BatchProcessor<Q>,OR>	A builder for a AbstractStaticBatchProcessor.

Subinterfaces of BatchProcessor in de.learnlib.oracle.parallelism

Modifier and Type	Interface	Description
interface	ParallelOmegaOracle<S,I,D>	ParallelOracle equivalent for OmegaMembershipOracle.
interface	ParallelOracle<I,D>	Basic interface for MembershipOracles that can process queries in parallel.

Classes in de.learnlib.oracle.parallelism that implement BatchProcessor

Modifier and Type	Class	Description
class	AbstractDynamicBatchProcessor<Q,P extends BatchProcessor<Q>>	A batch processor that dynamically distributes queries to worker threads.
class	AbstractStaticBatchProcessor<Q,P extends BatchProcessor<Q>>	A batch processor that statically distributes a set of queries among several threads.
class	DynamicParallelOmegaOracle<S,I,D>	A specialized AbstractDynamicBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.
class	DynamicParallelOracle<I,D>	A specialized AbstractDynamicBatchProcessor for MembershipOracles that implements ParallelOracle.
class	StaticParallelOmegaOracle<S,I,D>	A specialized AbstractStaticBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.
class	StaticParallelOracle<I,D>	A specialized AbstractStaticBatchProcessor for MembershipOracles that implements ParallelOracle.

Uses of BatchProcessor in de.learnlib.statistic

Subinterfaces of BatchProcessor in de.learnlib.statistic

Modifier and Type	Interface	Description
interface	StatisticOracle<I,D>	Common interface for oracles keeping statistics.