public Atom(Topology<T> rt) { this.rt = rt; }
- Topology<T> top() { return rt; }
-
void reachable(HashSet<Sequence.Position> h) { /* do-nothing */ }
+ public Topology toAtom() { return dup(); }
+
/** equality is based on the underlying <tt>Topology</tt> */
public int hashCode() { return rt.hashCode(); }