本文整理了Java中de.learnlib.api.query.Query.getSuffix
方法的一些代码示例,展示了Query.getSuffix
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Query.getSuffix
方法的具体详情如下:
包路径:de.learnlib.api.query.Query
类名称:Query
方法名:getSuffix
暂无
代码示例来源:origin: de.learnlib/learnlib-cache
@Override
public Word<I> getSuffix() {
return origQuery.getSuffix();
}
代码示例来源:origin: de.learnlib/learnlib-util
@Override
@Nonnull
public Word<I> getSuffix() {
return originalQuery.getSuffix();
}
代码示例来源:origin: de.learnlib/learnlib-equivalence-oracles
/**
* Tests if the input word of the given {@link Query} consists entirely of symbols in {@code inputs}.
*
* @param query
* the query to test
* @param inputs
* the set of allowed inputs
*
* @return {@code true} if the input word of {@code query} consists entirely of symbols in {@code inputs}, {@code
* false} otherwise
*/
private static <I> boolean checkInputs(Query<I, ?> query, Collection<? extends I> inputs) {
for (I sym : query.getPrefix()) {
if (!inputs.contains(sym)) {
return false;
}
}
for (I sym : query.getSuffix()) {
if (!inputs.contains(sym)) {
return false;
}
}
return true;
}
代码示例来源:origin: de.learnlib/learnlib-util
public static <I, D> void answerQueriesParallel(QueryAnswerer<I, D> answerer,
Collection<? extends Query<I, D>> queries) {
queries.parallelStream().forEach(q -> {
Word<I> prefix = q.getPrefix();
Word<I> suffix = q.getSuffix();
D answer = answerer.answerQuery(prefix, suffix);
q.answer(answer);
});
}
代码示例来源:origin: de.learnlib/learnlib-util
public static <I, D> void answerQueries(QueryAnswerer<I, D> answerer, Collection<? extends Query<I, D>> queries) {
for (Query<I, D> query : queries) {
Word<I> prefix = query.getPrefix();
Word<I> suffix = query.getSuffix();
D answer = answerer.answerQuery(prefix, suffix);
query.answer(answer);
}
}
代码示例来源:origin: de.learnlib/learnlib-membership-oracles
private static <I, O> void processQueries(SUL<I, O> sul, Collection<? extends Query<I, Word<O>>> queries) {
for (Query<I, Word<O>> q : queries) {
Word<O> output = answerQuery(sul, q.getPrefix(), q.getSuffix());
q.answer(output);
}
}
代码示例来源:origin: de.learnlib/learnlib-cache
private void answerSlave(Query<I, Word<O>> slave) {
int start = slave.getPrefix().length();
int end = start + slave.getSuffix().length();
slave.answer(answer.subWord(start, end));
}
内容来源于网络,如有侵权,请联系作者删除!