Uses of Class
de.learnlib.oracles.DefaultQuery

Packages that use DefaultQuery

Package	Description
de.learnlib.api
de.learnlib.mealy
de.learnlib.oracles

Uses of DefaultQuery in de.learnlib.api

Methods in de.learnlib.api that return DefaultQuery

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

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

Modifier and Type	Method and Description
boolean	LearningAlgorithm.refineHypothesis(DefaultQuery<I,O> ceQuery) Triggers a refinement of the model by providing a counterexample.

Uses of DefaultQuery in de.learnlib.mealy

Methods in de.learnlib.mealy that return DefaultQuery

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

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

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

Uses of DefaultQuery in de.learnlib.oracles

Methods in de.learnlib.oracles that return DefaultQuery

Modifier and Type	Method and Description
static <I,O> DefaultQuery<I,O>	MQUtil.query(MembershipOracle<I,O> oracle, Word<I> queryWord)
static <I,O> DefaultQuery<I,O>	MQUtil.query(MembershipOracle<I,O> oracle, Word<I> prefix, Word<I> suffix)