this.result = result;
this.phase = target;
this.node = node;
+ target.reductionQueue.add(this);
}
public void perform() {
node.finish(position, result, phase);
}
- public String toString() { return position+""; }
-
public int compareTo(Reduction r) {
int ret = compareTo0(r);
if (ret == 0) {