de.learnlib.util

Class MQUtil

java.lang.Object

de.learnlib.util.MQUtil

public final class MQUtil
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	PARALLEL_THRESHOLD

Method Summary

Modifier and Type	Method and Description
static <S,I,D> void	answerOmegaQueries(OmegaQueryAnswerer<S,I,D> answerer, Collection<? extends OmegaQuery<I,D>> queries)
static <S,I,D> void	answerOmegaQueriesAuto(OmegaQueryAnswerer<S,I,D> answerer, Collection<? extends OmegaQuery<I,D>> queries)
static <S,I,D> void	answerOmegaQueriesParallel(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> void	answerQueriesAuto(QueryAnswerer<I,D> answerer, Collection<? extends Query<I,D>> queries)
static <I,D> void	answerQueriesParallel(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

Field Detail

PARALLEL_THRESHOLD

public static final int PARALLEL_THRESHOLD

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)

answerQueriesAuto

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

answerOmegaQueriesAuto

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

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)

answerQueriesParallel

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

answerOmegaQueriesParallel

public static <S,I,D> void answerOmegaQueriesParallel(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)