void rainbow(Nfa nfa, int type, short but, State from, State to) {
        ColorDesc cd;
        short co;

        for (co = 0; co < colorDescs.size(); co++) {
            cd = colorDescs.get(co);
            if (cd != null
                    && cd.sub != co
                    && co != but
                    && !cd.pseudo()) {
                nfa.newarc(type, co, from, to);
            }
        }
    }
void rainbow ( Nfa nfa , int type , short but , State from , State to ) { ColorDesc cd ; short co ; for ( co = 0 ; co < colorDescs . size ( ) ; co ++ ) { cd = colorDescs . get ( co ) ; if ( cd != null && cd . sub != co && co != but && ! cd . pseudo ( ) ) { nfa . newarc ( type , co , from , to ) ; } } }
rainbow - add arcs of all full colors (but one) between specified states

@param but is COLORLESS if no exceptions