Uses of Class
de.learnlib.query.DefaultQuery

Packages that use DefaultQuery

Package	Description
de.learnlib.algorithm	This package (including sub-packages) contains the basic interfaces and classes of learning algorithms of LearnLib.
de.learnlib.algorithm.aaar	This package (and sub-packages) provides the implementation of the AAAR learning algorithm as described in the paper Automata Learning with Automated Alphabet Abstraction Refinement by Falk Howar, Bernhard Steffen, and Maik Merten.
de.learnlib.algorithm.adt.learner
de.learnlib.algorithm.adt.model
de.learnlib.algorithm.dhc.mealy
de.learnlib.algorithm.kv.dfa
de.learnlib.algorithm.kv.mealy
de.learnlib.algorithm.lstar	This package (and sub-packages) provides the implementation of the L* learning algorithm described in the paper Learning Regular Sets from Queries and Counterexamples by Dana Angluin as well as multiple variations thereof.
de.learnlib.algorithm.lstar.ce
de.learnlib.algorithm.nlstar	This package (and sub-packages) provides the implementation of the NL* learning algorithm as described in the paper Angluin-Style Learning of NFA by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.
de.learnlib.algorithm.observationpack	This package (and sub-packages) provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis Active learning of interface programs by Falk Howar.
de.learnlib.algorithm.observationpack.vpa	This package (and sub-packages) provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.algorithm.observationpack.vpa.hypothesis
de.learnlib.algorithm.oml.ttt
de.learnlib.algorithm.ostia	This package (and sub-packages) provides the implementation of the "onward subsequential transducer inference algorithm" (OSTIA) learning algorithm as presented in the paper Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks by Jose Oncina, Pedro García, and Enrique Vidal.
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.spa
de.learnlib.algorithm.procedural.spmm
de.learnlib.algorithm.procedural.spmm.manager
de.learnlib.algorithm.rpni	This package (and sub-packages) provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper Inferring regular languages in polynomial update time by Jose Oncina and Pedro García.
de.learnlib.algorithm.ttt.base
de.learnlib.algorithm.ttt.dfa
de.learnlib.algorithm.ttt.mealy
de.learnlib.algorithm.ttt.moore
de.learnlib.algorithm.ttt.vpa	This package (and sub-packages) provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.
de.learnlib.datastructure.discriminationtree.model
de.learnlib.example	This package (including sub-packages) contains example models of various types used in integration-tests.
de.learnlib.filter.cache.mealy
de.learnlib.filter.cache.moore
de.learnlib.filter.statistic.learner
de.learnlib.oracle	This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.emptiness
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.equivalence.sba
de.learnlib.oracle.equivalence.spa
de.learnlib.oracle.equivalence.spmm
de.learnlib.oracle.equivalence.vpa
de.learnlib.oracle.property
de.learnlib.query
de.learnlib.testsupport.it.learner
de.learnlib.util	This package (and sub-packages) provide general utilities used throughout LearnLib.
de.learnlib.util.mealy
de.learnlib.util.moore
de.learnlib.util.nfa

Uses of DefaultQuery in de.learnlib.algorithm

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

Modifier and Type	Method	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.algorithm with type arguments of type DefaultQuery

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

Uses of DefaultQuery in de.learnlib.algorithm.aaar

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

Modifier and Type	Method	Description
boolean	AbstractAAARLearner.refineHypothesis(DefaultQuery<CI,D> query)

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

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

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

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

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

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

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

Constructor	Description
ExtensionResult(DefaultQuery<I,Word<O>> ce)

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

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

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

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

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

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

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

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

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

Uses of DefaultQuery in de.learnlib.algorithm.lstar

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

Modifier and Type	Method	Description
protected void	AbstractAutomatonLStar.doRefineHypothesis(DefaultQuery<I,D> ceQuery)
protected void	AbstractLStar.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	AbstractAutomatonLStar.refineHypothesisInternal(DefaultQuery<I,D> ceQuery)
protected void	AbstractExtensibleAutomatonLStar.refineHypothesisInternal(DefaultQuery<I,D> ceQuery)

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

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

Modifier and Type	Method	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, 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.algorithm.nlstar

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

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

Uses of DefaultQuery in de.learnlib.algorithm.observationpack

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

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

Uses of DefaultQuery in de.learnlib.algorithm.observationpack.vpa

Methods in de.learnlib.algorithm.observationpack.vpa with parameters of type DefaultQuery

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

Uses of DefaultQuery in de.learnlib.algorithm.observationpack.vpa.hypothesis

Methods in de.learnlib.algorithm.observationpack.vpa.hypothesis that return DefaultQuery

Modifier and Type	Method	Description
protected DefaultQuery<I,Boolean>	DTree.buildQuery(DTNode<I> node, Word<I> prefix)

Uses of DefaultQuery in de.learnlib.algorithm.oml.ttt

Methods in de.learnlib.algorithm.oml.ttt with parameters of type DefaultQuery

Modifier and Type	Method	Description
boolean	AbstractOptimalTTT.refineHypothesis(DefaultQuery<I,D> counterexample)

Uses of DefaultQuery in de.learnlib.algorithm.ostia

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

Modifier and Type	Method	Description
void	OSTIA.addSamples(Collection<? extends DefaultQuery<I,Word<O>>> samples)

Uses of DefaultQuery in de.learnlib.algorithm.procedural.sba

Methods in de.learnlib.algorithm.procedural.sba with parameters of type DefaultQuery

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

Uses of DefaultQuery in de.learnlib.algorithm.procedural.spa

Methods in de.learnlib.algorithm.procedural.spa with parameters of type DefaultQuery

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

Uses of DefaultQuery in de.learnlib.algorithm.procedural.spmm

Methods in de.learnlib.algorithm.procedural.spmm with parameters of type DefaultQuery

Modifier and Type	Method	Description
boolean	SPMMLearner.refineHypothesis(DefaultQuery<I,Word<O>> defaultQuery)
Pair<Set<I>,Set<I>>	ATManager.scanCounterexample(DefaultQuery<I,Word<O>> counterexample)	Extracts from a positive counterexample (potentially new) access sequences and terminating sequences.

Uses of DefaultQuery in de.learnlib.algorithm.procedural.spmm.manager

Methods in de.learnlib.algorithm.procedural.spmm.manager with parameters of type DefaultQuery

Modifier and Type	Method	Description
Pair<Set<I>,Set<I>>	DefaultATManager.scanCounterexample(DefaultQuery<I,Word<O>> counterexample)
Pair<Set<I>,Set<I>>	OptimizingATManager.scanCounterexample(DefaultQuery<I,Word<O>> counterexample)

Uses of DefaultQuery in de.learnlib.algorithm.rpni

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

Modifier and Type	Method	Description
void	BlueFringeEDSMDFA.addSamples(Collection<? extends DefaultQuery<I,Boolean>> samples)
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,Word<O>>> samples)
void	BlueFringeRPNIMoore.addSamples(Collection<? extends DefaultQuery<I,Word<O>>> samples)

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

Methods in de.learnlib.algorithm.ttt.base that return DefaultQuery

Modifier and Type	Method	Description
protected DefaultQuery<I,D>	BaseTTTDiscriminationTree.buildQuery(AbstractBaseDTNode<I,D> node, Word<I> prefix)

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

Modifier and Type	Method	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.algorithm.ttt.dfa

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

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

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

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

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

Uses of DefaultQuery in de.learnlib.algorithm.ttt.moore

Methods in de.learnlib.algorithm.ttt.moore with parameters of type DefaultQuery

Modifier and Type	Method	Description
protected boolean	TTTLearnerMoore.refineHypothesisSingle(DefaultQuery<I,Word<O>> ceQuery)

Uses of DefaultQuery in de.learnlib.algorithm.ttt.vpa

Methods in de.learnlib.algorithm.ttt.vpa with parameters of type DefaultQuery

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

Uses of DefaultQuery in de.learnlib.datastructure.discriminationtree.model

Methods in de.learnlib.datastructure.discriminationtree.model that return DefaultQuery

Modifier and Type	Method	Description
protected abstract DefaultQuery<I,O>	AbstractDiscriminationTree.buildQuery(N node, Word<I> prefix)
protected DefaultQuery<I,O>	AbstractWordBasedDiscriminationTree.buildQuery(AbstractWordBasedDTNode<I,O,D> node, Word<I> prefix)

Uses of DefaultQuery in de.learnlib.example

Methods in de.learnlib.example that return types with arguments of type DefaultQuery

Modifier and Type	Method	Description
Collection<DefaultQuery<I,D>>	DefaultPassiveLearningExample.getSamples()
Collection<DefaultQuery<I,D>>	PassiveLearningExample.getSamples()

Constructor parameters in de.learnlib.example with type arguments of type DefaultQuery

Constructor	Description
DefaultDFAPassiveLearningExample(Collection<DefaultQuery<I,Boolean>> samples)
DefaultMealyPassiveLearningExample(Collection<DefaultQuery<I,Word<O>>> samples)
DefaultMoorePassiveLearningExample(Collection<DefaultQuery<I,Word<O>>> samples)
DefaultPassiveLearningExample(Collection<DefaultQuery<I,D>> samples)
DefaultSSTPassiveLearningExample(Collection<DefaultQuery<I,Word<O>>> samples)

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

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

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

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

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

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,Word<O>>	MooreCacheConsistencyTest.findCounterExample(MooreMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,Word<O>>	ThreadSafeMooreCacheConsistencyTest.findCounterExample(MooreMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)

Uses of DefaultQuery in de.learnlib.filter.statistic.learner

Methods in de.learnlib.filter.statistic.learner with parameters of type DefaultQuery

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

Uses of DefaultQuery in de.learnlib.oracle

Methods in de.learnlib.oracle that return DefaultQuery

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,D>	PropertyOracle.disprove(A hypothesis, Collection<? extends I> inputs)	Try to disprove the property with the given hypothesis.
@Nullable DefaultQuery<I,D>	PropertyOracle.doFindCounterExample(A hypothesis, Collection<? extends I> inputs)	Unconditionally find a counterexample, i.e. regardless of whether the property can be disproved.
default @Nullable DefaultQuery<I,D>	AutomatonOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)	Finds a counter example to the given hypothesis.
default @Nullable DefaultQuery<I,D>	AutomatonOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs, int maxQueries)	Find a counterexample for a given hypothesis.
@Nullable DefaultQuery<I,D>	EmptinessOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	EquivalenceOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)	Searches for a counterexample disproving the subjected hypothesis.
default @Nullable DefaultQuery<I,D>	LassoOracle.findCounterExample(L hypothesis, Collection<? extends I> inputs)
default @Nullable DefaultQuery<I,D>	PropertyOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)	Try to find a counterexample to the given hypothesis if the property can not be disproved.
@Nullable DefaultQuery<I,D>	PropertyOracle.getCounterExample()	Returns the counterexample for the property if PropertyOracle.isDisproved(), null otherwise.
DefaultQuery<I,D>	AutomatonOracle.processInput(A hypothesis, Word<I> input)	Processes the given input.

Uses of DefaultQuery in de.learnlib.oracle.emptiness

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

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,D>	LassoEmptinessOracleImpl.findCounterExample(L 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	Description
@Nullable DefaultQuery<I,D>	AbstractBFInclusionOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	AbstractTestWordEQOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	CExFirstOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	DisproveFirstOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	EQOracleChain.findCounterExample(A hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	SampleSetEQOracle.findCounterExample(SuffixOutput<I,D> hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	SimulatorEQOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)

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

Modifier and Type	Method	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	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	Description
@Nullable DefaultQuery<I,Word<O>>	RandomWalkEQOracle.findCounterExample(MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,O>	SymbolEQOracleWrapper.findCounterExample(A hypothesis, Collection<? extends I> inputs)

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

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

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,Boolean>	SimulatorEQOracle.findCounterExample(SBA<?,I> hypothesis, Collection<? extends I> inputs)

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

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

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,Boolean>	SimulatorEQOracle.findCounterExample(SPA<?,I> hypothesis, Collection<? extends I> inputs)

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

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

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,Word<O>>	SimulatorEQOracle.findCounterExample(SPMM<?,I,?,O> hypothesis, Collection<? extends I> inputs)

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

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

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,Boolean>	SimulatorEQOracle.findCounterExample(OneSEVPA<?,I> hypothesis, Collection<? extends I> inputs)

Uses of DefaultQuery in de.learnlib.oracle.property

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

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,D>	LoggingPropertyOracle.disprove(A hypothesis, Collection<? extends I> inputs)	Try to disprove this propertyOracle, and log whenever it is disproved.
@Nullable DefaultQuery<I,D>	PropertyOracleChain.disprove(A hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	LoggingPropertyOracle.doFindCounterExample(A hypothesis, Collection<? extends I> inputs)	Try to find a counterexample to the given hypothesis, and log whenever such a spurious counterexample is found.
@Nullable DefaultQuery<I,D>	PropertyOracleChain.doFindCounterExample(A hypothesis, Collection<? extends I> inputs)
@Nullable DefaultQuery<I,D>	LoggingPropertyOracle.getCounterExample()
@Nullable DefaultQuery<I,D>	PropertyOracleChain.getCounterExample()

Uses of DefaultQuery in de.learnlib.query

Methods in de.learnlib.query that return DefaultQuery

Modifier and Type	Method	Description
DefaultQuery<I,@Nullable D>	OmegaQuery.asDefaultQuery()

Uses of DefaultQuery in de.learnlib.testsupport.it.learner

Methods in de.learnlib.testsupport.it.learner that return types with arguments of type DefaultQuery

Modifier and Type	Method	Description
static <I,D,M extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>> Collection<DefaultQuery<I,D>>	LearnerITUtil.generateSamples(Alphabet<I> alphabet, M reference)
protected <I> Collection<DefaultQuery<I,Boolean>>	AbstractDFAPassiveLearnerIT.generateSamplesInternal(Alphabet<I> alphabet, DFA<?,I> reference)	Utility method, that may be overriden by subclasses.

Uses of DefaultQuery in de.learnlib.util

Methods in de.learnlib.util that return DefaultQuery

Modifier and Type	Method	Description
static <I,D> DefaultQuery<I,D>	MQUtil.normalize(MembershipOracle<I,D> oracle, DefaultQuery<I,D> query)
DefaultQuery<I,D>	AbstractBFOracle.processInput(A hypothesis, Word<I> input)
static <I,D> DefaultQuery<I,D>	MQUtil.query(MembershipOracle<I,D> oracle, Word<I> queryWord)
static <I,D> DefaultQuery<I,D>	MQUtil.query(MembershipOracle<I,D> oracle, Word<I> prefix, Word<I> suffix)

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

Modifier and Type	Method	Description
static <I,D> boolean	MQUtil.isCounterexample(DefaultQuery<I,D> query, 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	Description
static <I,O> @Nullable DefaultQuery<I,O>	MealyUtil.reduceCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <I,O> @Nullable DefaultQuery<I,Word<O>>	MealyUtil.shortenCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)

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

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

Uses of DefaultQuery in de.learnlib.util.moore

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

Modifier and Type	Method	Description
static <I,O> @Nullable DefaultQuery<I,O>	MooreUtil.reduceCounterExample(MooreMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <I,O> @Nullable DefaultQuery<I,Word<O>>	MooreUtil.shortenCounterExample(MooreMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)

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

Modifier and Type	Method	Description
static <I,O> @Nullable DefaultQuery<I,O>	MooreUtil.reduceCounterExample(MooreMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <I,O> @Nullable DefaultQuery<I,Word<O>>	MooreUtil.shortenCounterExample(MooreMachine<?,I,?,O> hypothesis, DefaultQuery<I,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	Description
boolean	NFALearnerWrapper.refineHypothesis(DefaultQuery<I,Boolean> ceQuery)