private void pullTop() { // extract all subs from the queue that have the same // top term assert numTop == 0; numTop = queue.fillTop(top); current = top[0].current; }
private void pullTop() { // extract all subs from the queue that have the same // top term assert numTop == 0; numTop = queue.fillTop(top); current = top[0].current; }
private void pullTop() { // extract all subs from the queue that have the same // top term assert numTop == 0; numTop = queue.fillTop(top); current = top[0].current; }
private void pullTop() { // extract all subs from the queue that have the same // top term assert numTop == 0; numTop = queue.fillTop(top); current = top[0].current; }