void dumparcs(State s, StringBuilder sb) {
        int pos;

        assert s.nouts > 0;
    /* printing arcs in reverse order is usually clearer */
        pos = dumprarcs(s.outs, s, 1, sb);
        if (pos != 1) {
            //sb.append("\n");
        }
    }
void dumparcs(State s, StringBuilder sb) {
        int pos;

        assert s.nouts > 0;
    
        pos = dumprarcs(s.outs, s, 1, sb);
        if (pos != 1) {
            
        }
    }
void dumparcs ( State s , StringBuilder sb ) { int pos ; assert s . nouts > 0 ; /* printing arcs in reverse order is usually clearer */ pos = dumprarcs ( s . outs , s , 1 , sb ) ; if ( pos != 1 ) { //sb.append("\n"); } }
dumparcs - dump out-arcs in human-readable form
dumparcs - dump out - arcs in human - readable form