X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FGSS.java;h=74cbb484bf568609be666fb79efc2994d345ae11;hp=16725f1911d4d3e79d043929a6f96f2fbe658036;hb=9ded11559a1b6f817e99355b1c9e2c88042e91d4;hpb=f33c05adc5aa3dd324c5352cdbd6f4b55359acad diff --git a/src/edu/berkeley/sbp/GSS.java b/src/edu/berkeley/sbp/GSS.java index 16725f1..74cbb48 100644 --- a/src/edu/berkeley/sbp/GSS.java +++ b/src/edu/berkeley/sbp/GSS.java @@ -81,7 +81,7 @@ class GSS { private void newNode2(Node p, Node parent, Forest pending, Parser.Table.State state, boolean fromEmptyReduction) { p.holder.merge(pending); if (p.parents().contains(parent)) return; - p.parents().add(parent); + p.parents().add(parent, true); if (p!=parent && !fromEmptyReduction) p.queueReductions(parent); } private void newNode3(Node parent, Forest pending, Parser.Table.State state, boolean fromEmptyReduction) { @@ -226,7 +226,7 @@ class GSS { this.state = state; Phase start = parent==null ? null : parent.phase(); if (pending != null) this.holder().merge(pending); - if (parent != null) parents().add(parent); + if (parent != null) parents().add(parent, true); if (Phase.this.hash.get(code(state, start)) != null) throw new Error("severe problem!"); Phase.this.hash.put(code(state, start), this); Phase.this.numNodes++;