Uses of Class
de.learnlib.oracles.DefaultQuery

Packages that use DefaultQuery

Package	Description
de.learnlib.algorithms.baselinelstar
de.learnlib.algorithms.dhc.mealy
de.learnlib.algorithms.lstargeneric
de.learnlib.algorithms.lstargeneric.ce
de.learnlib.algorithms.lstargeneric.table
de.learnlib.api
de.learnlib.cache.dfa
de.learnlib.cache.mealy
de.learnlib.eqtests.basic
de.learnlib.eqtests.basic.mealy
de.learnlib.mealy
de.learnlib.oracles

Uses of DefaultQuery in de.learnlib.algorithms.baselinelstar

Methods in de.learnlib.algorithms.baselinelstar with parameters of type DefaultQuery

Modifier and Type	Method and Description
boolean	BaselineLStar.refineHypothesis(DefaultQuery<I,Boolean> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithms.dhc.mealy

Methods in de.learnlib.algorithms.dhc.mealy with parameters of type DefaultQuery

Modifier and Type	Method and Description
boolean	MealyDHC.refineHypothesis(DefaultQuery<I,Word<O>> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithms.lstargeneric

Methods in de.learnlib.algorithms.lstargeneric with parameters of type DefaultQuery

Modifier and Type	Method and Description
protected void	AbstractLStar.doRefineHypothesis(DefaultQuery<I,O> ceQuery)
protected void	ExtensibleAutomatonLStar.doRefineHypothesis(DefaultQuery<I,O> ceQuery)
protected List<List<Row<I>>>	AbstractLStar.incorporateCounterExample(DefaultQuery<I,O> ce) Incorporates the information provided by a counterexample into the observation data structure.
boolean	AbstractLStar.refineHypothesis(DefaultQuery<I,O> ceQuery)

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

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

Modifier and Type	Method and Description
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleClassicLStar(DefaultQuery<I,O> ceQuery, ObservationTable<I,O> table, MembershipOracle<I,O> oracle)
<RI extends I,RO extends O> List<List<Row<RI>>>	ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RO> ceQuery, ObservationTable<RI,RO> table, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,O> ceQuery, ObservationTable<I,O> table, MembershipOracle<I,O> oracle)

Uses of DefaultQuery in de.learnlib.algorithms.lstargeneric.table

Method parameters in de.learnlib.algorithms.lstargeneric.table with type arguments of type DefaultQuery

Modifier and Type	Method and Description
protected static <I,O> void	ObservationTable.buildQueries(List<DefaultQuery<I,O>> queryList, List<Word<I>> prefixes, List<Word<I>> suffixes)
protected static <I,O> void	ObservationTable.buildQueries(List<DefaultQuery<I,O>> queryList, Word<I> prefix, List<Word<I>> suffixes)
protected static <I,O> void	ObservationTable.buildRowQueries(List<DefaultQuery<I,O>> queryList, List<Row<I>> rows, List<Word<I>> suffixes)
protected static <I,O> void	ObservationTable.fetchResults(Iterator<DefaultQuery<I,O>> queryIt, List<O> output, int numSuffixes) Fetches the given number of query responses and adds them to the specified output list.

Uses of DefaultQuery in de.learnlib.api

Methods in de.learnlib.api that return DefaultQuery

Modifier and Type	Method and Description
DefaultQuery<I,O>	EquivalenceOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs) Searches for a counterexample disproving the subjected hypothesis.

Methods in de.learnlib.api with parameters of type DefaultQuery

Modifier and Type	Method and Description
boolean	LearningAlgorithm.refineHypothesis(DefaultQuery<I,O> ceQuery) Triggers a refinement of the model by providing a counterexample.

Uses of DefaultQuery in de.learnlib.cache.dfa

Methods in de.learnlib.cache.dfa that return DefaultQuery

Modifier and Type	Method and Description
DefaultQuery<I,Boolean>	DFACacheConsistencyTest.findCounterExample(DFA<?,I> hypothesis, Collection<? extends I> inputs)

Uses of DefaultQuery in de.learnlib.cache.mealy

Methods in de.learnlib.cache.mealy that return DefaultQuery

Modifier and Type	Method and Description
DefaultQuery<I,Word<O>>	MealyCacheConsistencyTest.findCounterExample(MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)

Uses of DefaultQuery in de.learnlib.eqtests.basic

Methods in de.learnlib.eqtests.basic that return DefaultQuery

Modifier and Type	Method and Description
DefaultQuery<I,O>	SimpleEQOracle.findCounterExample(A hypothesis)
DefaultQuery<I,O>	RandomWordsEQOracle.findCounterExample(A hypothesis, Collection<? extends I> alpha)
DefaultQuery<I,O>	WpMethodEQOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,O>	EQOracleChain.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,O>	DelegateEQOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,O>	WMethodEQOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,O>	CompleteExplorationEQOracle.findCounterExample(DetOutputAutomaton<?,I,?,O> hypothesis, Collection<? extends I> alphabet)
DefaultQuery<I,O>	SimulatorEQOracle.findCounterExample(UniversalDeterministicAutomaton<?,I,?,?,?> hypothesis, Collection<? extends I> alphabet)

Uses of DefaultQuery in de.learnlib.eqtests.basic.mealy

Methods in de.learnlib.eqtests.basic.mealy that return DefaultQuery

Modifier and Type	Method and Description
DefaultQuery<I,O>	SymbolEQOracleWrapper.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,Word<O>>	RandomWalkEQOracle.findCounterExample(MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)

Uses of DefaultQuery in de.learnlib.mealy

Methods in de.learnlib.mealy that return DefaultQuery

Modifier and Type	Method and Description
static <I,O> DefaultQuery<I,O>	MealyUtil.reduceCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <I,O> DefaultQuery<I,Word<O>>	MealyUtil.shortenCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)

Methods in de.learnlib.mealy with parameters of type DefaultQuery

Modifier and Type	Method and Description
static <I,O> DefaultQuery<I,O>	MealyUtil.reduceCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <I,O> DefaultQuery<I,Word<O>>	MealyUtil.shortenCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)

Uses of DefaultQuery in de.learnlib.oracles

Methods in de.learnlib.oracles that return DefaultQuery

Modifier and Type	Method and Description
static <I,O> DefaultQuery<I,O>	MQUtil.query(MembershipOracle<I,O> oracle, Word<I> queryWord)
static <I,O> DefaultQuery<I,O>	MQUtil.query(MembershipOracle<I,O> oracle, Word<I> prefix, Word<I> suffix)