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 7055720..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();
-    }
-}