src/main/java/de/dfki/lt/loot/fsa/FiniteAutomaton.java
@Override
  public void removeVertexLazy(int v) {
    if (isFinalState(v)) {
      setNonFinalState(v);
      if (_finalStates.isEmpty()) {
        throw new IllegalStateException("Removed node " + v
            + " is last final state");
      }
    }
    if (v == _initialState) {
      throw new IllegalStateException("Removed node " + v + " is start state");
    }
    super.removeVertexLazy(v);
  }
/** Override this method to ensure that a deleted vertex is neither start nor
   *  final node after deletion
   * @throws IllegalStateException if the state to delete is the start state
   *            or the last final state
   */
Override this method to ensure that a deleted vertex is neither start nor
final node after deletion
@throws IllegalStateException if the state to delete is the start state
or the last final state
Override this method to ensure that a deleted vertex is neither start nor final node after deletion @throws IllegalStateException if the state to delete is the start state or the last final state
@Override
  public void removeVertexLazy(int v) {
    if (isFinalState(v)) {
      setNonFinalState(v);
      if (_finalStates.isEmpty()) {
        throw new IllegalStateException("Removed node " + v
            + " is last final state");
      }
    }
    if (v == _initialState) {
      throw new IllegalStateException("Removed node " + v + " is start state");
    }
    super.removeVertexLazy(v);
  }
@ Override public void removeVertexLazy ( int v ) { if ( isFinalState ( v ) ) { setNonFinalState ( v ) ; if ( _finalStates . isEmpty ( ) ) { throw new IllegalStateException ( "Removed node " + v + " is last final state" ) ; } } if ( v == _initialState ) { throw new IllegalStateException ( "Removed node " + v + " is start state" ) ; } super . removeVertexLazy ( v ) ; }
Override this method to ensure that a deleted vertex is neither start nor
  final node after deletion
 @throws IllegalStateException if the state to delete is the start state
            or the last final state
Override this method to ensure that a deleted vertex is neither start nor final node after deletion @throws IllegalStateException if the state to delete is the start state or the last final state