List of minimise() Examples

Examples of minimise()

wyautl.core.Automaton.minimise()

Return this automaton to a state where the strong equivalence property holds. That is, where there are no two distinct, but equivalent states.

For any set of equivalent states, a unique representative states is selected and all references to states in the set are mapping to this. The representative is always the state with the lowest index in the automaton.

NOTE: this function does not change the layout of the automaton, although equivalent states which are no longer used are set to null. This means all references which were valid beforehand may not be invalidated (unless the automaton was already minimised).

   *         which *should* be impossible).
   */
  public static int minimumSize(Type type) {
    Automaton automaton = type.automaton();
    automaton.compact();
    automaton.minimise();
    BitSet onStack = new BitSet();
    int size = minimumSize(automaton.getRoot(0), onStack, automaton);
    if(size < 0) {
      throw new RuntimeException("PROBLEM --- " + type);
    }

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.

Examples of minimise()

Examples of wyautl.core.Automaton.minimise()