@Override
public BitSet solveSet(Assignment val) {
BitSet bs = c1.solveSet(val);
bs.flip(0, this.size);
return bs;
}
@Override
public void writeTo(PrintWriter writer) {
writer.println("NOT {");
c1.writeTo(writer);
writer.println("}");
}
@Override
public boolean solve(Assignment val) {
return !c1.solve(val);
}
