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

x33g5p2x  于2022-01-16 转载在 其他  
字(6.8k)|赞(0)|评价(0)|浏览(171)

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

Alphabet.size介绍

暂无

代码示例

代码示例来源：origin: net.automatalib/automata-core

  1. public AbstractCompactDeterministic(Alphabet<I> alphabet, int stateCapacity, float resizeFactor) {
  2.   this.alphabet = alphabet;
  3.   this.alphabetSize = alphabet.size();
  4.   this.transitions = new Object[stateCapacity * alphabetSize];
  5.   this.resizeFactor = resizeFactor;
  6.   this.stateCapacity = stateCapacity;
  7. }

代码示例来源：origin: net.automatalib/automata-core

  1. public AbstractCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor) {
  2.   this.alphabet = alphabet;
  3.   this.alphabetSize = alphabet.size();
  4.   this.transitions = new int[stateCapacity * alphabetSize];
  5.   Arrays.fill(this.transitions, 0, this.transitions.length, INVALID_STATE);
  6.   this.resizeFactor = resizeFactor;
  7.   this.stateCapacity = stateCapacity;
  8. }

代码示例来源：origin: net.automatalib/automata-api

  1. default <I2> Mapping<I2, I> translateFrom(Alphabet<I2> other) {
  2.   if (other.size() > size()) {
  3.     throw new IllegalArgumentException(
  4.         "Cannot translate from an alphabet with " + other.size() + " elements into an alphabet with only " +
  5.         size() + " elements");
  6.   }
  7.   return i -> getSymbol(other.getSymbolIndex(i));
  8. }

代码示例来源：origin: net.automatalib/automata-core

  1. public <I2> CompactDFA<I2> translate(Alphabet<I2> newAlphabet) {
  2.   if (newAlphabet.size() != alphabetSize) {
  3.     throw new IllegalArgumentException(
  4.         "Alphabet sizes must match, but they do not (old/new): " + alphabetSize + " vs. " +
  5.         newAlphabet.size());
  6.   }
  7.   return new CompactDFA<>(newAlphabet, this);
  8. }

代码示例来源：origin: de.learnlib/learnlib-nlstar

  1. private void makeShort(Row<I> row) {
  2.   row.makeShort(upperRows.size(), alphabet.size());
  3.   upperRows.add(row);
  4.   newUppers.add(row);
  5. }

代码示例来源：origin: net.automatalib/automata-core

  1. @Override
  2.   protected FastMealyState<O> createState(Void property) {
  3.     return new FastMealyState<>(inputAlphabet.size());
  4.   }
  5. }

代码示例来源：origin: de.learnlib/learnlib-lstar-generic

  1. @Override
  2. protected List<Word<I>> initialSuffixes() {
  3.   List<Word<I>> suffixes = new ArrayList<Word<I>>(alphabet.size());
  4.   for(int i = 0; i < alphabet.size(); i++) {
  5.     I sym = alphabet.getSymbol(i);
  6.     suffixes.add(Word.fromLetter(sym));
  7.   }
  8.   return suffixes;
  9. }

代码示例来源：origin: de.learnlib/learnlib-lstar-generic

  1. protected Row<I> createSpRow(Word<I> prefix) {
  2.   Row<I> newRow = new Row<I>(prefix, numRows++, alphabet.size());
  3.   allRows.add(newRow);
  4.   rowMap.put(prefix, newRow);
  5.   shortPrefixRows.add(newRow);
  6.   return newRow;
  7. }

代码示例来源：origin: LearnLib/automatalib

  1. @Override
  2.   public Collection<I> getLocalInputs(Integer state) {
  3.     final Alphabet<I> alphabet = getInputAlphabet();
  4.     final List<I> result = new ArrayList<>(alphabet.size());
  5.     for (final I i : alphabet) {
  6.       if (getTransition(state, i) != null) {
  7.         result.add(i);
  8.       }
  9.     }
  11.     return result;
  12.   }
  13. }

代码示例来源：origin: net.automatalib/automata-util

  1. private static <S, I> void fillTransitionProperties(UniversalDeterministicAutomaton<S, I, ?, ?, ?> automaton,
  2.                           Alphabet<I> alphabet,
  3.                           S state,
  4.                           Object[] properties) {
  5.   int numInputs = alphabet.size();
  6.   for (int i = 0; i < numInputs; i++) {
  7.     I sym = alphabet.getSymbol(i);
  8.     properties[i] = automaton.getTransitionProperty(state, sym);
  9.   }
  10. }

代码示例来源：origin: LearnLib/automatalib

  1. private static <S, I> void fillTransitionProperties(UniversalDeterministicAutomaton<S, I, ?, ?, ?> automaton,
  2.                           Alphabet<I> alphabet,
  3.                           S state,
  4.                           Object[] properties) {
  5.   int numInputs = alphabet.size();
  6.   for (int i = 0; i < numInputs; i++) {
  7.     I sym = alphabet.getSymbol(i);
  8.     properties[i] = automaton.getTransitionProperty(state, sym);
  9.   }
  10. }

代码示例来源：origin: net.automatalib/automata-serialization-saf

  1. public <I, SP, TP> void writeAutomaton(UniversalAutomaton<?, I, ?, SP, TP> source,
  2.                     Alphabet<I> alphabet,
  3.                     AutomatonType expectedType,
  4.                     BlockPropertyEncoder<? super SP> spEncoder,
  5.                     SinglePropertyEncoder<? super TP> tpEncoder) throws IOException {
  6.   writeHeader(expectedType);
  7.   out.writeInt(alphabet.size());
  8.   writeAutomatonBody(source, alphabet, expectedType.isDeterministic(), spEncoder, tpEncoder);
  9. }

代码示例来源：origin: net.automatalib/automata-util

  1. public static <S, I> CompleteStateSignature build(UniversalDeterministicAutomaton<S, I, ?, ?, ?> automaton,
  2.                          Alphabet<I> alphabet,
  3.                          S state) {
  4.   int numInputs = alphabet.size();
  5.   Object[] properties = new Object[numInputs + 1];
  6.   fillTransitionProperties(automaton, alphabet, state, properties);
  7.   properties[numInputs] = automaton.getStateProperty(state);
  8.   return new CompleteStateSignature(properties);
  9. }

代码示例来源：origin: de.learnlib/learnlib-discrimination-tree

  1. protected void initializeState(HState<I, D, SP, TP> newState) {
  2.   newStates.add(newState);
  3.   int size = alphabet.size();
  4.   for (int i = 0; i < size; i++) {
  5.     I sym = alphabet.getSymbol(i);
  6.     HTransition<I, D, SP, TP> newTrans = new HTransition<>(newState, sym, dtree.getRoot());
  7.     newState.setTransition(i, newTrans);
  8.     newTransitions.add(newTrans);
  9.     openTransitions.offer(newTrans);
  10.   }
  11. }

代码示例来源：origin: net.automatalib/automata-util

  1. public static <S, I> CompleteStateSignature buildFromTransitions(UniversalDeterministicAutomaton<S, I, ?, ?, ?> automaton,
  2.                                  Alphabet<I> alphabet,
  3.                                  S state) {
  4.   int numInputs = alphabet.size();
  5.   Object[] properties = new Object[numInputs];
  6.   for (int i = 0; i < numInputs; i++) {
  7.     I sym = alphabet.getSymbol(i);
  8.     properties[i] = automaton.getTransitionProperty(state, sym);
  9.   }
  10.   return new CompleteStateSignature(properties);
  11. }

代码示例来源：origin: net.automatalib/automata-incremental

  1. private Node<I, O> insertNode(Node<I, O> parent, int symIdx, O output) {
  2.   Node<I, O> succ = new Node<>(inputAlphabet.size());
  3.   Edge<I, O> edge = new Edge<>(output, succ);
  4.   parent.setEdge(symIdx, edge);
  5.   return succ;
  6. }

代码示例来源：origin: de.learnlib.testsupport/learnlib-learning-examples

  1. @Override
  2. public String toString() {
  3.   return "Keylock[size=" + getReferenceAutomaton().size() + ",alphabetSize=" + getAlphabet().size() +
  4.       ",cyclical=" + cyclical + "]";
  5. }

代码示例来源：origin: net.automatalib/automata-core

  1. @Override
  2. public void addAlphabetSymbol(I symbol) {
  3.   if (this.inputAlphabet.containsSymbol(symbol)) {
  4.     return;
  5.   }
  6.   this.inputAlphabet = Alphabets.withNewSymbol(this.inputAlphabet, symbol);
  7.   final int newAlphabetSize = this.inputAlphabet.size();
  8.   for (final S s : this.getStates()) {
  9.     s.ensureInputCapacity(newAlphabetSize);
  10.   }
  11. }

代码示例来源：origin: net.automatalib/automata-core

  1. @Override
  2. public void addAlphabetSymbol(I symbol) {
  3.   if (this.inputAlphabet.containsSymbol(symbol)) {
  4.     return;
  5.   }
  6.   this.inputAlphabet = Alphabets.withNewSymbol(this.inputAlphabet, symbol);
  7.   final int newAlphabetSize = this.inputAlphabet.size();
  8.   for (final S s : this.getStates()) {
  9.     s.ensureInputCapacity(newAlphabetSize);
  10.   }
  11. }

代码示例来源：origin: de.learnlib/learnlib-discrimination-tree

  1. @Override
  2. public void addAlphabetSymbol(I symbol) {
  3.   if (this.alphabet.containsSymbol(symbol)) {
  4.     return;
  5.   }
  6.   this.alphabet = Alphabets.withNewSymbol(this.alphabet, symbol);
  7.   final int alphabetSize = this.alphabet.size();
  8.   for (final HState<I, O, SP, TP> s : this.getStates()) {
  9.     s.ensureInputCapacity(alphabetSize);
  10.   }
  11. }

内容来源于网络，如有侵权，请联系作者删除！

Alphabet

相关文章

    查看更多

    热门标签

    更多
    JavaquerypythonNode开发语言requestUtil数据库Table后端算法LoggerMessageElementParser

    最新文章

    更多
    • 蜀ICP备13028337号-1 大数据知识库 https://www.saoniuhuo.com © All rights reserved
    • 本站内容来源互联网,如果侵犯您的权益请联系我们删除, 联系方式：448109455@qq.com