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 .