- final Forest<?> ambiguity;
- private final HashSet<Tree<?>> ht;
- Ambiguous(Forest<?> ambiguity, HashSet<Tree<?>> ht) {
+
+ private final Forest<?> ambiguity;
+ private final HashSet<Tree<?>> possibilities;
+
+ /**
+ * @param possibilities is a specially-constructed set of trees with shared nodes replaced by '*'
+ */
+ Ambiguous(Forest<?> ambiguity, HashSet<Tree<?>> possibilities) {