- /** an atom which tracks the inverse of some other atom */
- public static class Invert<T extends Input> extends Atom<T> {
- private final Atom<T> a;
- public Invert(Atom<T> a) { this.a = a; }
- public Topology<T> top() { return ((Topology<T>)a.top()).complement(); }
- public String toString() { return "~"+a; }
- }
-
- static Topology toAtom(Element e) {