Uses of Class
de.learnlib.api.query.DefaultQuery

Packages that use DefaultQuery

Package	Description
de.learnlib.algorithms.adt.learner
de.learnlib.algorithms.adt.model
de.learnlib.algorithms.dhc.mealy
de.learnlib.algorithms.discriminationtree
de.learnlib.algorithms.discriminationtree.vpda
de.learnlib.algorithms.kv.dfa
de.learnlib.algorithms.kv.mealy
de.learnlib.algorithms.lstar
de.learnlib.algorithms.lstar.ce
de.learnlib.algorithms.nlstar
de.learnlib.algorithms.rpni
de.learnlib.algorithms.ttt.base
de.learnlib.algorithms.ttt.dfa
de.learnlib.algorithms.ttt.mealy
de.learnlib.algorithms.ttt.vpda
de.learnlib.api.algorithm
de.learnlib.api.oracle
de.learnlib.filter.cache.dfa
de.learnlib.filter.cache.mealy
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.equivalence.vpda
de.learnlib.util
de.learnlib.util.mealy
de.learnlib.util.nfa

Uses of DefaultQuery in de.learnlib.algorithms.adt.learner

Methods in de.learnlib.algorithms.adt.learner with parameters of type DefaultQuery

Modifier and Type	Method and Description
boolean	ADTLearner.refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ce)
boolean	ADTLearner.refineHypothesisInternal(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithms.adt.model

Methods in de.learnlib.algorithms.adt.model that return DefaultQuery

Modifier and Type	Method and Description
DefaultQuery<I,net.automatalib.words.Word<O>>	ExtensionResult.getCounterExample() Return the found counterexample.

Constructors in de.learnlib.algorithms.adt.model with parameters of type DefaultQuery

Constructor and Description
ExtensionResult(DefaultQuery<I,net.automatalib.words.Word<O>> ce)

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,net.automatalib.words.Word<O>> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithms.discriminationtree

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

Modifier and Type	Method and Description
boolean	AbstractDTLearner.refineHypothesis(DefaultQuery<I,D> ceQuery)
protected boolean	AbstractDTLearner.refineHypothesisSingle(DefaultQuery<I,D> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithms.discriminationtree.vpda

Methods in de.learnlib.algorithms.discriminationtree.vpda with parameters of type DefaultQuery

Modifier and Type	Method and Description
boolean	AbstractVPDALearner.refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
protected boolean	DTLearnerVPDA.refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)
protected abstract boolean	AbstractVPDALearner.refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithms.kv.dfa

Methods in de.learnlib.algorithms.kv.dfa with parameters of type DefaultQuery

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

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

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

Modifier and Type	Method and Description
boolean	KearnsVaziraniMealy.refineHypothesis(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithms.lstar

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

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

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

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

Modifier and Type	Method and Description
static <I,D> List<List<Row<I>>>	ObservationTableCEXHandlers.handleClassicLStar(DefaultQuery<I,D> ceQuery, MutableObservationTable<I,D> table, MembershipOracle<I,D> oracle)
<RI extends I,RD extends D> List<List<Row<RI>>>	ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RD> ceQuery, MutableObservationTable<RI,RD> table, net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput, MembershipOracle<RI,RD> oracle)
static <I,D> List<List<Row<I>>>	ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,D> ceQuery, MutableObservationTable<I,D> table, MembershipOracle<I,D> oracle)

Uses of DefaultQuery in de.learnlib.algorithms.nlstar

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

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

Uses of DefaultQuery in de.learnlib.algorithms.rpni

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

Modifier and Type	Method and Description
void	BlueFringeMDLDFA.addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples)
void	BlueFringeRPNIDFA.addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples)
void	BlueFringeRPNIMealy.addSamples(Collection<? extends DefaultQuery<I,net.automatalib.words.Word<O>>> samples)

Uses of DefaultQuery in de.learnlib.algorithms.ttt.base

Methods in de.learnlib.algorithms.ttt.base with parameters of type DefaultQuery

Modifier and Type	Method and Description
boolean	AbstractTTTLearner.refineHypothesis(DefaultQuery<I,D> ceQuery)
protected boolean	AbstractTTTLearner.refineHypothesisSingle(DefaultQuery<I,D> ceQuery) Performs a single refinement of the hypothesis, i.e., without repeated counterexample evaluation.

Uses of DefaultQuery in de.learnlib.algorithms.ttt.dfa

Methods in de.learnlib.algorithms.ttt.dfa with parameters of type DefaultQuery

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

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

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

Modifier and Type	Method and Description
boolean	TTTLearnerMealy.refineHypothesisSingle(DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithms.ttt.vpda

Methods in de.learnlib.algorithms.ttt.vpda with parameters of type DefaultQuery

Modifier and Type	Method and Description
protected boolean	TTTLearnerVPDA.refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)

Uses of DefaultQuery in de.learnlib.api.algorithm

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

Modifier and Type	Method and Description
default void	PassiveLearningAlgorithm.addSample(DefaultQuery<I,D> sample)
default void	PassiveLearningAlgorithm.addSamples(DefaultQuery<I,D>... samples)
boolean	LearningAlgorithm.refineHypothesis(DefaultQuery<I,D> ceQuery) Triggers a refinement of the model by providing a counterexample.

Method parameters in de.learnlib.api.algorithm with type arguments of type DefaultQuery

Modifier and Type	Method and Description
void	PassiveLearningAlgorithm.addSamples(Collection<? extends DefaultQuery<I,D>> samples)

Uses of DefaultQuery in de.learnlib.api.oracle

Methods in de.learnlib.api.oracle that return DefaultQuery

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

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

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

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

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

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

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

Uses of DefaultQuery in de.learnlib.oracle.equivalence

Methods in de.learnlib.oracle.equivalence that return DefaultQuery

Modifier and Type	Method and Description
DefaultQuery<I,D>	SimpleEQOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,D>	EQOracleChain.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,D>	DelegateEQOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,D>	AbstractTestWordEQOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,Boolean>	SimulatorEQOracle.DFASimulatorEQOracle.findCounterExample(net.automatalib.automata.fsa.DFA<?,I> hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,net.automatalib.words.Word<O>>	SimulatorEQOracle.MealySimulatorEQOracle.findCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,D>	SampleSetEQOracle.findCounterExample(net.automatalib.automata.concepts.SuffixOutput<I,D> hypothesis, Collection<? extends I> inputs)
DefaultQuery<I,D>	SimulatorEQOracle.findCounterExample(net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> hypothesis, Collection<? extends I> inputs)

Methods in de.learnlib.oracle.equivalence with parameters of type DefaultQuery

Modifier and Type	Method and Description
SampleSetEQOracle<I,D>	SampleSetEQOracle.addAll(DefaultQuery<I,D>... newTestQueries) Adds queries to the sample set.

Method parameters in de.learnlib.oracle.equivalence with type arguments of type DefaultQuery

Modifier and Type	Method and Description
SampleSetEQOracle<I,D>	SampleSetEQOracle.addAll(Collection<? extends DefaultQuery<I,D>> newTestQueries) Adds queries to the sample set.

Uses of DefaultQuery in de.learnlib.oracle.equivalence.mealy

Methods in de.learnlib.oracle.equivalence.mealy that return DefaultQuery

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

Uses of DefaultQuery in de.learnlib.oracle.equivalence.vpda

Methods in de.learnlib.oracle.equivalence.vpda that return DefaultQuery

Modifier and Type	Method and Description
DefaultQuery<I,Boolean>	SimulatorEQOracle.findCounterExample(net.automatalib.automata.vpda.OneSEVPA<?,I> hypothesis, Collection<? extends I> inputs)

Uses of DefaultQuery in de.learnlib.util

Methods in de.learnlib.util that return DefaultQuery

Modifier and Type	Method and Description
static <I,D> DefaultQuery<I,D>	MQUtil.normalize(MembershipOracle<I,D> oracle, DefaultQuery<I,D> query)
static <I,D> DefaultQuery<I,D>	MQUtil.query(MembershipOracle<I,D> oracle, net.automatalib.words.Word<I> queryWord)
static <I,D> DefaultQuery<I,D>	MQUtil.query(MembershipOracle<I,D> oracle, net.automatalib.words.Word<I> prefix, net.automatalib.words.Word<I> suffix)

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

Modifier and Type	Method and Description
static <I,D> boolean	MQUtil.isCounterexample(DefaultQuery<I,D> query, net.automatalib.automata.concepts.SuffixOutput<I,D> hyp)
static <I,D> DefaultQuery<I,D>	MQUtil.normalize(MembershipOracle<I,D> oracle, DefaultQuery<I,D> query)

Uses of DefaultQuery in de.learnlib.util.mealy

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

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

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

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

Uses of DefaultQuery in de.learnlib.util.nfa

Methods in de.learnlib.util.nfa with parameters of type DefaultQuery

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