This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / IR / Tree / DNFFlagAtom.java

diff --git a/Robust/src/IR/Tree/DNFFlagAtom.java b/Robust/src/IR/Tree/DNFFlagAtom.java
deleted file mode 100644 (file)
index f11b3f0..0000000
--- a/Robust/src/IR/Tree/DNFFlagAtom.java
+++ /dev/null
@@ -1,32 +0,0 @@
-package IR.Tree;
-
-import IR.*;
-
-public class DNFFlagAtom {
-  private final FlagNode flag;
-  private final boolean negated;
-
-  public DNFFlagAtom(FlagNode flag, boolean negated) {
-    this.flag=flag;
-    this.negated=negated;
-  }
-
-  public FlagNode getFlagNode() {
-    return flag;
-  }
-
-  public FlagDescriptor getFlag() {
-    return flag.getFlag();
-  }
-
-  public boolean getNegated() {
-    return negated;
-  }
-
-  public String toString() {
-    if (negated)
-      return "!"+flag.toString();
-    else
-      return flag.toString();
-  }
-}