Uses of Interface
de.learnlib.oracle.QueryAnswerer

Packages that use QueryAnswerer

Package	Description
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 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 QueryAnswerer in de.learnlib.filter.cache

Subinterfaces of QueryAnswerer 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.

Classes in de.learnlib.filter.cache that implement QueryAnswerer

Modifier and Type	Class	Description
class	InterningMembershipOracle<I,D>	A MembershipOracle that interns query outputs.

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

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

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 QueryAnswerer in de.learnlib.filter.cache.mealy

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

Modifier and Type	Class	Description
class	InterningMealyMembershipOracle<I,O>	A type-specific refinement of InterningMembershipOracle.
class	MealyCacheOracle<I,O>	Mealy cache.
class	ThreadSafeMealyCacheOracle<I,O>	A thread-safe variant of MealyCacheOracle.

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

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

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

Uses of QueryAnswerer in de.learnlib.filter.reuse

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

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 ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a database which does not change the SUL) or configured for failure output symbols via 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 QueryAnswerer in de.learnlib.filter.statistic.oracle

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

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	DFACounterOracle<I>	A type-specific refinement of CounterOracle.
class	DFAHistogramOracle<I>	A type-specific refinement of HistogramOracle.
class	HistogramOracle<I,D>	Collects a histogram of passed query lengths.
class	MealyCounterOracle<I,O>	A type-specific refinement of CounterOracle.
class	MealyHistogramOracle<I,O>	A type-specific refinement of HistogramOracle.
class	MooreCounterOracle<I,O>	A type-specific refinement of CounterOracle.
class	MooreHistogramOracle<I,O>	A type-specific refinement of HistogramOracle.

Uses of QueryAnswerer in de.learnlib.oracle

Subinterfaces of QueryAnswerer 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	ParallelOracle<I,D>	Basic interface for MembershipOracles that can process queries in parallel.
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>

Uses of QueryAnswerer in de.learnlib.oracle.membership

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

Modifier and Type	Class	Description
class	DFASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
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>	A type-specific refinement of SimulatorOracle.
class	MooreSimulatorOracle<I,O>	A type-specific refinement of SimulatorOracle.
class	NFASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
class	SBASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
class	SEVPASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
class	SimulatorOracle<I,D>	A membership oracle backed by an automaton.
class	SPASimulatorOracle<I>	A type-specific refinement of SimulatorOracle.
class	SPMMSimulatorOracle<I,O>	A type-specific refinement of SimulatorOracle.
class	StateLocalInputSULOracle<I,O>	A wrapper around a system under learning (SUL) with state local inputs.
class	SULOracle<I,O>	A wrapper around a system under learning (SUL).

Constructors in de.learnlib.oracle.membership with parameters of type QueryAnswerer

Constructor	Description
MappedOracle(QueryAnswerer<CI,CO> delegate, Mapper.AsynchronousMapper<AI,AO,CI,CO> mapper)

Uses of QueryAnswerer in de.learnlib.oracle.parallelism

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

Modifier and Type	Class	Description
class	DynamicParallelOracle<I,D>	A specialized AbstractDynamicBatchProcessor for MembershipOracles that implements ParallelOracle.
class	StaticParallelOracle<I,D>	A specialized AbstractStaticBatchProcessor for MembershipOracles that implements ParallelOracle.

Uses of QueryAnswerer in de.learnlib.statistic

Subinterfaces of QueryAnswerer in de.learnlib.statistic

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