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

Packages that use DefaultQuery

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

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.logging

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

Modifier and Type	Method and 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>	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>	LoggingPropertyOracle.getCounterExample()

Uses of DefaultQuery in de.learnlib.api.oracle

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

Modifier and Type	Method and 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.
@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>	AutomatonOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs) Finds a counter example to the given hypothesis.
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>	EmptinessOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs)
default @Nullable DefaultQuery<I,D>	AutomatonOracle.findCounterExample(A hypothesis, Collection<? extends I> inputs, int maxQueries) Find a counterexample for a given hypothesis.
default @Nullable DefaultQuery<I,D>	LassoOracle.findCounterExample(L hypothesis, Collection<? extends I> inputs)
@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.api.query

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

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