本文整理了Java中net.automatalib.words.Word.prefixes()
方法的一些代码示例,展示了Word.prefixes()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Word.prefixes()
方法的具体详情如下:
包路径:net.automatalib.words.Word
类名称:Word
方法名:prefixes
[英]Retrieves the list of all prefixes of this word. In the default implementation, the prefixes are lazily instantiated upon the respective calls of List#get(int) or Iterator#next().
[中]检索该单词所有前缀的列表。在默认实现中,前缀是在分别调用List#get(int)或迭代器#next()时延迟实例化的。
代码示例来源:origin: de.learnlib/learnlib-lstar-baseline
@Nonnull
private LinkedHashSet<Word<I>> prefixesOfWordNotInStates(@Nonnull Word<I> word) {
List<Word<I>> states = observationTable.getShortPrefixLabels();
LinkedHashSet<Word<I>> prefixes = new LinkedHashSet<>();
for (Word<I> prefix : word.prefixes(false)) {
if (!states.contains(prefix)) {
prefixes.add(prefix);
}
}
return prefixes;
}
代码示例来源:origin: de.learnlib/learnlib-lstar-generic
public static <I,D>
List<List<Row<I>>> handleClassicLStar(DefaultQuery<I, D> ceQuery,
ObservationTable<I, D> table, MembershipOracle<I, D> oracle) {
List<? extends Word<I>> prefixes = ceQuery.getInput().prefixes(false);
return table.addShortPrefixes(prefixes, oracle);
}
代码示例来源:origin: de.learnlib/learnlib-lstar
public static <I, D> List<List<Row<I>>> handleClassicLStar(DefaultQuery<I, D> ceQuery,
MutableObservationTable<I, D> table,
MembershipOracle<I, D> oracle) {
List<Word<I>> prefixes = ceQuery.getInput().prefixes(false);
return table.addShortPrefixes(prefixes, oracle);
}
内容来源于网络,如有侵权,请联系作者删除!