- /** add all positions reachable from the start of this Element to @rp */
- abstract void reachable(HashSet<Sequence.Position> rp);
-
+ /** if this element always matches exactly one token, return a topology covering exactly those possible tokens, otherwise <tt>null</tt> */
+ abstract Topology toAtom();
+ public Topology toAtom0() { return toAtom(); }