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; }
}
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; }
}