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     String name() {
  19         String name="";
  20         if (this.negate)
  21             name+="!";
  22         name+=predicate.name();
  23         return name;
  24     }
  25
  26     void negatePred() {
  27         negate=!negate;
  28     }
  29
  30     boolean isNegated() {
  31         return negate;
  32     }
  33 }