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

Packages that use DefaultQuery

Package	Description
de.learnlib.api.algorithm
de.learnlib.api.oracle

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.