Uses of Class
de.learnlib.api.Query

Packages that use Query

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

Uses of Query in de.learnlib.algorithms.discriminationtree

Methods in de.learnlib.algorithms.discriminationtree that return Query

Modifier and Type	Method and Description
protected abstract Query<I,D>	AbstractDTLearner.spQuery(HState<I,D,SP,TP> state)
protected abstract Query<I,D>	AbstractDTLearner.tpQuery(HTransition<I,D,SP,TP> transition)

Uses of Query in de.learnlib.algorithms.discriminationtree.dfa

Methods in de.learnlib.algorithms.discriminationtree.dfa that return Query

Modifier and Type	Method and Description
protected Query<I,Boolean>	DTLearnerDFA.spQuery(HState<I,Boolean,Boolean,Void> state)
protected Query<I,Boolean>	DTLearnerDFA.tpQuery(HTransition<I,Boolean,Boolean,Void> transition)

Uses of Query in de.learnlib.algorithms.discriminationtree.mealy

Methods in de.learnlib.algorithms.discriminationtree.mealy that return Query

Modifier and Type	Method and Description
protected Query<I,Word<O>>	DTLearnerMealy.spQuery(HState<I,Word<O>,Void,O> state)
protected Query<I,Word<O>>	DTLearnerMealy.tpQuery(HTransition<I,Word<O>,Void,O> transition)

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,D> List<List<Row<I>>>	ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery, ObservationTable<I,D> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	ObservationTableCEXHandlers.handleLocalSuffix(Query<I,D> ceQuery, ObservationTable<I,D> table, int suffixIndex, MembershipOracle<I,D> 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,D>> 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	DFAHashCacheOracle.processQueries(Collection<? extends Query<I,Boolean>> queries)
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,D> int	LocalSuffixFinders.findLinear(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle) Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear ascending order.
static <I,D> List<? extends Word<I>>	GlobalSuffixFinders.findLinear(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> 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,D> int	LocalSuffixFinders.findLinearReverse(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> oracle) Searches for a distinguishing suffixes by checking for counterexample yielding access sequence transformations in linear descending order.
static <I,D> List<? extends Word<I>>	GlobalSuffixFinders.findLinearReverse(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> 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,D> List<? extends Word<I>>	GlobalSuffixFinders.findMalerPnueli(Query<I,D> ceQuery) Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested by Maler & Pnueli.
static <I,D> int	LocalSuffixFinders.findRivestSchapire(Query<I,D> ceQuery, AccessSequenceTransformer<I> asTransformer, SuffixOutput<I,D> hypOutput, MembershipOracle<I,D> 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<? extends 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,D> List<? extends Word<I>>	GlobalSuffixFinders.findShahbaz(Query<I,D> 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,RD extends D> List<? extends Word<RI>>	GlobalSuffixFinder.findSuffixes(Query<RI,RD> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RD> hypOutput, MembershipOracle<RI,RD> oracle) Finds a set of distinguishing suffixes which will allow to expose at least one additional state in the hypothesis.
static <RI,RO> int	AcexLocalSuffixFinder.findSuffixIndex(AcexAnalyzer analyzer, boolean reduce, Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
<RI extends I,RD extends D> int	LocalSuffixFinder.findSuffixIndex(Query<RI,RD> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RD> hypOutput, MembershipOracle<RI,RD> 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.
<RI,RO> int	AcexLocalSuffixFinder.findSuffixIndex(Query<RI,RO> ceQuery, AccessSequenceTransformer<RI> asTransformer, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
static <I,D> List<? extends Word<I>>	GlobalSuffixFinders.suffixesForLocalOutput(Query<I,D> ceQuery, int localSuffixIdx) Transforms a suffix index returned by a LocalSuffixFinder into a list containing the single distinguishing suffix.
static <I,D> List<? extends Word<I>>	GlobalSuffixFinders.suffixesForLocalOutput(Query<I,D> 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.filters.reuse

Method parameters in de.learnlib.filters.reuse with type arguments of type Query

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

Uses of Query in de.learnlib.oracles

Subclasses of Query in de.learnlib.oracles

Modifier and Type	Class and Description
class	AbstractQuery<I,D>
class	DefaultQuery<I,D> 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,D> query)

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

Modifier and Type	Method and Description
static <I,D> void	MQUtil.answerQueries(QueryAnswerer<I,D> answerer, Collection<? extends Query<I,D>> queries)
static <I,D> void	MQUtil.answerQueriesParallel(QueryAnswerer<I,D> answerer, Collection<? extends Query<I,D>> queries)
void	SafeOracle.processQueries(Collection<? extends Query<I,D>> queries)
void	QueryAnswererOracle.processQueries(Collection<? extends Query<I,D>> queries)
default void	ParallelSingleQueryOracle.processQueries(Collection<? extends Query<I,D>> queries)
void	HistogramOracle.processQueries(Collection<? extends Query<I,D>> queries)
void	FilterChain.processQueries(Collection<? extends Query<I,D>> queries)
void	CounterOracle.processQueries(Collection<? extends Query<I,D>> queries)
void	AbstractSingleQueryOracle.processQueries(Collection<? extends Query<I,D>> 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	StaticParallelOracle.processQueries(Collection<? extends Query<I,D>> queries)
void	DynamicParallelOracle.processQueries(Collection<? extends Query<I,D>> queries)