public static class Hack<T extends Token> extends Atom<T> {
private final Atom<T> a;
static final Topology leftright =
- edu.berkeley.sbp.misc.CharToken.rightBrace.union(edu.berkeley.sbp.misc.CharToken.leftBrace);
+ edu.berkeley.sbp.misc.CharRange.rightBrace.union(edu.berkeley.sbp.misc.CharRange.leftBrace);
public Hack(Atom<T> a) { this.a = a; }
public Topology<T> top() { return ((Topology<T>)a.top()).minus(leftright); }
public String toString() { return "~"+a; }