net.automatalib.words.Word.prefixes()方法的使用及代码示例

x33g5p2x  于2022-02-03 转载在 其他  
字(1.6k)|赞(0)|评价(0)|浏览(84)

本文整理了Java中net.automatalib.words.Word.prefixes()方法的一些代码示例,展示了Word.prefixes()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Word.prefixes()方法的具体详情如下:
包路径:net.automatalib.words.Word
类名称:Word
方法名:prefixes

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);
}

相关文章