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;}

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 ; }
public void Add(Transition t){if (transitions.Length == count){Transition[] newArray = new Transition[ArrayUtil.Oversize(1 + count, RamUsageEstimator.NUM_BYTES_OBJECT_REF)];Array.Copy(transitions, 0, newArray, 0, count);transitions = newArray;}transitions[count++] = t;}
