de.learnlib.oracles

Class MQUtil

java.lang.Object

de.learnlib.oracles.MQUtil

public abstract class MQUtil
extends Object

Constructor Summary

Constructors

Constructor and Description
MQUtil()

Method Summary

Methods

Modifier and Type	Method and Description
static <I,O> void	answerQueries(QueryAnswerer<I,O> answerer, Collection<? extends Query<I,O>> queries)
static <I,O> O	output(MembershipOracle<I,O> oracle, Word<I> queryWord)
static <I,O> O	output(MembershipOracle<I,O> oracle, Word<I> prefix, Word<I> suffix)
static <I,O> DefaultQuery<I,O>	query(MembershipOracle<I,O> oracle, Word<I> queryWord)
static <I,O> DefaultQuery<I,O>	query(MembershipOracle<I,O> 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

Constructor Detail

MQUtil

public MQUtil()

Method Detail

output

public static <I,O> O output(MembershipOracle<I,O> oracle,
             Word<I> queryWord)

output

public static <I,O> O output(MembershipOracle<I,O> oracle,
             Word<I> prefix,
             Word<I> suffix)

query

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

query

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

answerQueries

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