Uses of Class
de.learnlib.query.DefaultQuery

Packages that use DefaultQuery

Package	Description
de.learnlib.algorithm	This package contains the basic interfaces and classes of learning algorithms of LearnLib.
de.learnlib.oracle	This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.query

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.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, net.automatalib.word.Word<I> input)	Processes the given input.

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()