Robust/src/IR/Tree/DNFFlagAtom.java

   1 package IR.Tree;
   2
   3 import IR.*;
   4
   5 public class DNFFlagAtom {
   6     final FlagNode flag;
   7     final boolean negated;
   8
   9     public DNFFlagAtom(FlagNode flag, boolean negated) {
  10         this.flag=flag;
  11         this.negated=negated;
  12     }
  13 }