@ParametersAreNonnullByDefault public final class MQUtil extends Object
Modifier and Type | Field and Description |
---|---|
static int |
PARALLEL_THRESHOLD |
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 |
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,
net.automatalib.automata.concepts.SuffixOutput<I,D> hyp) |
static <I,D> DefaultQuery<I,D> |
normalize(MembershipOracle<I,D> oracle,
DefaultQuery<I,D> query) |
static <I,D> D |
output(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> queryWord)
Deprecated.
|
static <I,D> D |
output(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix)
Deprecated.
|
static <I,D> DefaultQuery<I,D> |
query(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> queryWord) |
static <I,D> DefaultQuery<I,D> |
query(MembershipOracle<I,D> oracle,
net.automatalib.words.Word<I> prefix,
net.automatalib.words.Word<I> suffix) |
@Deprecated @Nullable public static <I,D> D output(MembershipOracle<I,D> oracle, net.automatalib.words.Word<I> queryWord)
@Deprecated @Nullable public static <I,D> D output(MembershipOracle<I,D> oracle, net.automatalib.words.Word<I> prefix, net.automatalib.words.Word<I> suffix)
public static <I,D> DefaultQuery<I,D> normalize(MembershipOracle<I,D> oracle, DefaultQuery<I,D> query)
@Nonnull public static <I,D> DefaultQuery<I,D> query(MembershipOracle<I,D> oracle, net.automatalib.words.Word<I> prefix, net.automatalib.words.Word<I> suffix)
@Nonnull public static <I,D> DefaultQuery<I,D> query(MembershipOracle<I,D> oracle, net.automatalib.words.Word<I> queryWord)
public static <I,D> void answerQueriesAuto(QueryAnswerer<I,D> answerer, Collection<? extends Query<I,D>> queries)
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, net.automatalib.automata.concepts.SuffixOutput<I,D> hyp)
Copyright © 2018. All rights reserved.