Repair/RepairCompiler/MCC/IR/DNFPredicate.java

   1 package MCC.IR;
   2
   3 public class DNFPredicate {
   4     boolean negate;
   5     Predicate predicate;
   6
   7     public DNFPredicate(DNFPredicate dp) {
   8         this.negate=dp.negate;
   9         this.predicate=dp.predicate;
  10     }
  11     Predicate getPredicate() {
  12         return predicate;
  13     }
  14     public DNFPredicate(boolean negate,Predicate predicate) {
  15         this.negate=negate;
  16         this.predicate=predicate;
  17     }
  18     void negatePred() {
  19         negate=!negate;
  20     }
  21
  22     boolean isNegated() {
  23         return negate;
  24     }
  25 }