Repair/RepairCompiler/MCC/IR/DNFExpr.java

   1 package MCC.IR;
   2
   3 public class DNFExpr {
   4     boolean negate;
   5     Expr predicate;
   6
   7     public DNFExpr(DNFExpr dp) {
   8         this.negate=dp.negate;
   9         this.predicate=dp.predicate;
  10     }
  11
  12     public DNFExpr(boolean negate,Expr predicate) {
  13         this.negate=negate;
  14         this.predicate=predicate;
  15     }
  16     void negatePred() {
  17         negate=!negate;
  18     }
  19 }