text: public void add(Transition t) {if (transitions.length < next+3) {transitions = ArrayUtil.grow(transitions, next+3);}transitions[next] = t.dest;transitions[next+1] = t.min;transitions[next+2] = t.max;next += 3;}