Searched refs:transitionEdgeTables (Results 1 – 4 of 4) sorted by relevance
218 public Vector transitionEdgeTables; // not used by java yet field in DFA415 transitionEdgeTables = new Vector(this.getNumberOfStates()); // Vector<Vector<int>>416 transitionEdgeTables.setSize(this.getNumberOfStates());579 transitionEdgeTables.set(s.stateNumber, edgeClass);583 transitionEdgeTables.set(s.stateNumber, edgeClass);
1032 …<dfa.transitionEdgeTables:{whichTable|<name>dfa<dfa.decisionNumber>_transition<whichTable>,}; sepa…1050 …<dfa.transitionEdgeTables:{whichTable|transition[<i0>] = <name>dfa<dfa.decisionNumber>_transition<…
1540 …<dfa.transitionEdgeTables:{whichTable|transition[<i0>] = dfa<dfa.decisionNumber>_transition<whichT…
2518 …<dfa.transitionEdgeTables:{xref|dfa<dfa.decisionNumber>_T<xref>}; separator=", ", wrap="\n", null=…