/** an atom which tracks the inverse of some other atom */
- private static class Invert<T extends Input> extends Atom<T> {
+ 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 a.complement(); }