@ParametersAreNonnullByDefault public abstract class MQUtil extends Object
Constructor and Description |
---|
MQUtil() |
Modifier and Type | Method and Description |
---|---|
static <I,D> void |
answerQueries(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> D |
output(MembershipOracle<I,D> oracle,
Word<I> queryWord) |
static <I,D> D |
output(MembershipOracle<I,D> oracle,
Word<I> prefix,
Word<I> suffix) |
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) |
@Nullable public static <I,D> D output(MembershipOracle<I,D> oracle, Word<I> queryWord)
@Nullable public static <I,D> D output(MembershipOracle<I,D> oracle, Word<I> prefix, Word<I> suffix)
@Nonnull public static <I,D> DefaultQuery<I,D> query(MembershipOracle<I,D> oracle, Word<I> prefix, Word<I> suffix)
@Nonnull public static <I,D> DefaultQuery<I,D> query(MembershipOracle<I,D> oracle, Word<I> queryWord)
public static <I,D> void answerQueries(QueryAnswerer<I,D> answerer, Collection<? extends Query<I,D>> queries)
public static <I,D> void answerQueriesParallel(QueryAnswerer<I,D> answerer, Collection<? extends Query<I,D>> queries)
public static <I,D> boolean isCounterexample(DefaultQuery<I,D> query, SuffixOutput<I,D> hyp)
Copyright © 2015. All rights reserved.