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