Package de.learnlib.util

Class MQUtil

java.lang.Object

de.learnlib.util.MQUtil

public final class MQUtil
extends Object

Method Summary

Modifier and Type	Method	Description
static <S,I,D> void	answerOmegaQueries(OmegaQueryAnswerer<S,I,D> answerer, Collection<? extends OmegaQuery<I,D>> queries)
static <I,D> void	answerQueries(QueryAnswerer<I,D> answerer, Collection<? extends Query<I,D>> queries)
static <I,D> boolean	isCounterexample(DefaultQuery<I,D> query, SuffixOutput<I,D> hyp)
static <I,D> DefaultQuery<I,D>	normalize(MembershipOracle<I,D> oracle, DefaultQuery<I,D> query)
static <I,D> DefaultQuery<I,D>	query(MembershipOracle<I,D> oracle, Word<I> queryWord)
static <I,D> DefaultQuery<I,D>	query(MembershipOracle<I,D> oracle, Word<I> prefix, Word<I> suffix)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

normalize

public static <I,D> DefaultQuery<I,D> normalize(MembershipOracle<I,D> oracle,
                                                            DefaultQuery<I,D> query)

query

public static <I,D> DefaultQuery<I,D> query(MembershipOracle<I,D> oracle,
                                                        Word<I> prefix,
                                                        Word<I> suffix)

query

public static <I,D> DefaultQuery<I,D> query(MembershipOracle<I,D> oracle,
                                                        Word<I> queryWord)

answerQueries

public static <I,D> void answerQueries(QueryAnswerer<I,D> answerer,
                                             Collection<? extends Query<I,D>> queries)

answerOmegaQueries

public static <S,I,D> void answerOmegaQueries(OmegaQueryAnswerer<S,I,D> answerer,
                                                          Collection<? extends OmegaQuery<I,D>> queries)

isCounterexample

public static <I,D> boolean isCounterexample(DefaultQuery<I,D> query,
                                                   SuffixOutput<I,D> hyp)