- public String toString() { return e+"@";}
- public MaximalSequence(Element e) { super(e, null, null); this.e = e; }
+ public String toString() { return e+"@"; }
+ public Topology noFollow() { return e.toAtom(); }
+ public MaximalSequence(Element e) {
+ super(e, null, null);
+ this.e = e;
+ }