Uses of Class
de.learnlib.api.Query

Packages that use Query

Package	Description
de.learnlib.algorithms.lstargeneric.ce
de.learnlib.api
de.learnlib.cache.dfa
de.learnlib.cache.mealy
de.learnlib.counterexamples
de.learnlib.oracles
de.learnlib.parallelism

Uses of Query in de.learnlib.algorithms.lstargeneric.ce

Methods in de.learnlib.algorithms.lstargeneric.ce with parameters of type Query

Modifier and Type	Method and Description
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleLocalSuffix(Query<I,O> ceQuery, ObservationTable<I,O> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleLocalSuffix(Query<I,O> ceQuery, ObservationTable<I,O> table, int suffixIndex, MembershipOracle<I,O> oracle)

Uses of Query in de.learnlib.api

Method parameters in de.learnlib.api with type arguments of type Query

Modifier and Type	Method and Description
void	MembershipOracle.processQueries(Collection<? extends Query<I,O>> queries) Processes the specified collection of queries.

Uses of Query in de.learnlib.cache.dfa

Method parameters in de.learnlib.cache.dfa with type arguments of type Query

Modifier and Type	Method and Description
void	DFACacheOracle.processQueries(Collection<? extends Query<I,Boolean>> queries)

Uses of Query in de.learnlib.cache.mealy

Method parameters in de.learnlib.cache.mealy with type arguments of type Query

Modifier and Type	Method and Description
void	MealyCacheOracle.processQueries(Collection<? extends Query<I,Word<O>>> queries)

Uses of Query in de.learnlib.counterexamples

Methods in de.learnlib.counterexamples with parameters of type Query

Modifier and Type	Method and Description
static <S,I,O> int	LocalSuffixFinders.findLinear(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle) Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
static <I,O> List<Word<I>>	GlobalSuffixFinders.findLinear(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle, boolean allSuffixes) Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence transformation in ascending linear order.
static <I,O> int	LocalSuffixFinders.findLinearReverse(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle) Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
static <I,O> List<Word<I>>	GlobalSuffixFinders.findLinearReverse(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle, boolean allSuffixes) Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the access sequence transformation in descending linear order.
static <I,O> List<Word<I>>	GlobalSuffixFinders.findMahlerPnueli(Query<I,O> ceQuery) Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested by Mahler & Pnueli.
static <I,O> int	LocalSuffixFinders.findRivestSchapire(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle) Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations using a binary search, as proposed by Rivest & Schapire.
static <I,O> List<Word<I>>	GlobalSuffixFinders.findRivestSchapire(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,O> hypOutput, MembershipOracle<I,O> oracle, boolean allSuffixes) Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by the binary search access sequence transformation.
static <I,O> List<Word<I>>	GlobalSuffixFinders.findShahbaz(Query<I,O> ceQuery, AccessSequenceTransformer<I> asTransformer) Returns all suffixes of the counterexample word as distinguishing suffixes, after stripping a maximal one-letter extension of an access sequence, as suggested by Shahbaz.
<RI extends I,RO extends O> List<Word<RI>>	GlobalSuffixFinder.findSuffixes(Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle) Finds a set of distinguishing suffixes which will allow to expose at least one additional state in the hypothesis.
<RI extends I,RO extends O> int	LocalSuffixFinder.findSuffixIndex(Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle) Finds, for a given counterexample, a "split index", such that: - the part of the query word before this index leads to the state being split - the part of the query word from this index on is a suffix capable of splitting this state.
static <I,O> List<Word<I>>	GlobalSuffixFinders.suffixesForLocalOutput(Query<I,O> ceQuery, int localSuffixIdx) Transforms a suffix index returned by a LocalSuffixFinder into a list containing the single distinguishing suffix.
static <I,O> List<Word<I>>	GlobalSuffixFinders.suffixesForLocalOutput(Query<I,O> ceQuery, int localSuffixIdx, boolean allSuffixes) Transforms a suffix index returned by a LocalSuffixFinder into a list of distinguishing suffixes.

Uses of Query in de.learnlib.oracles

Subclasses of Query in de.learnlib.oracles

Modifier and Type	Class and Description
class	AbstractQuery<I,O>
class	DefaultQuery<I,O> A query is a container for tests a learning algorithms performs, containing the actual test and the corresponding result.

Methods in de.learnlib.oracles with parameters of type Query

Modifier and Type	Method and Description
protected void	SafeOracle.checkQuery(Query<I,O> query)

Method parameters in de.learnlib.oracles with type arguments of type Query

Modifier and Type	Method and Description
static <I,O> void	MQUtil.answerQueries(QueryAnswerer<I,O> answerer, Collection<? extends Query<I,O>> queries)
void	AbstractSingleQueryOracle.processQueries(Collection<? extends Query<I,O>> queries)
void	SafeOracle.processQueries(Collection<? extends Query<I,O>> queries)
void	CounterOracle.processQueries(Collection<? extends Query<I,O>> queries)
void	HistogramOracle.processQueries(Collection<? extends Query<I,O>> queries)
void	FilterChain.processQueries(Collection<? extends Query<I,O>> queries)
void	QueryAnswererOracle.processQueries(Collection<? extends Query<I,O>> queries)

Constructors in de.learnlib.oracles with parameters of type Query

Constructor and Description
AbstractQuery(Query<I,?> query)
DefaultQuery(Query<I,?> query)

Uses of Query in de.learnlib.parallelism

Method parameters in de.learnlib.parallelism with type arguments of type Query

Modifier and Type	Method and Description
void	ParallelOracle.processQueries(Collection<? extends Query<I,O>> queries)