void dropstate(State s) {
        Arc a;

        while ((a = s.ins) != null) {
            freearc(a);
        }

        while ((a = s.outs) != null) {
            freearc(a);
        }

        freestate(s);
    }
void dropstate(State s) {
        Arc a;

        while ((a = s.ins) != null) {
            freearc(a);
        }

        while ((a = s.outs) != null) {
            freearc(a);
        }

        freestate(s);
    }
void dropstate ( State s ) { Arc a ; while ( ( a = s . ins ) != null ) { freearc ( a ) ; } while ( ( a = s . outs ) != null ) { freearc ( a ) ; } freestate ( s ) ; }
get rid of a state, releasing all its arcs.
I'm not sure that all this is needed, as opposed to depending on the GC.

@param s the state to dispose of.
get rid of a state releasing all its arcs . I m not sure that all this is needed as opposed to depending on the GC .