List of restoreInvariant() Examples

Examples of restoreInvariant()

dk.brics.automaton.Automaton.restoreInvariant()
Restores representation invariant. This method must be invoked before any built-in automata operation is performed if automaton states or transitions are manipulated manually. @see #setDeterministic(boolean)

Examples of dk.brics.automaton.Automaton.restoreInvariant()

                }
            }
        }
        
        // boilerplate stuff
        result.restoreInvariant();
        result.reduce();
        result.determinize();
        result.minimize();
        
        return result;

View Full Code Here

Examples of dk.brics.automaton.Automaton.restoreInvariant()

    public static Automaton getPrefixesOf(Automaton automaton) {
        Automaton result = automaton.clone();
        for (State state : result.getLiveStates()) {
            state.setAccept(true);
        }
        result.restoreInvariant();
        if (result.isDeterministic()) {
            result.minimize();
        }
        return result;
    }

View Full Code Here

Examples of dk.brics.automaton.Automaton.restoreInvariant()

            state.setAccept(true);
            if (state != result.getInitialState()) {
                epsilons.add(new StatePair(result.getInitialState(), state));
            }
        }
        result.restoreInvariant(); // accept states have been modified
        result.addEpsilons(epsilons);
        result.determinize();
        result.minimize();
        return result;
    }

View Full Code Here

TOP

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.