start of new file

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

diff --git a/Robust/src/IR/Tree/FlagNode.java b/Robust/src/IR/Tree/FlagNode.java
index 7b18b7f5eec1849860cc6651a856408588345614..8e12b0590d5054b5e3dc9512764f8776ad6a5197 100644 (file)
--- a/Robust/src/IR/Tree/FlagNode.java
+++ b/Robust/src/IR/Tree/FlagNode.java
@@ -1,4 +1,5 @@
 package IR.Tree;
+import java.util.Vector;
 
 import IR.*;
 
@@ -29,4 +30,12 @@ public class FlagNode extends FlagExpressionNode {
     public String printNode(int indent) {
        return name;
     }
+
+    public DNFFlag getDNF() {
+       return new DNFFlag(this);
+    }
+
+    public String toString() {
+       return name;
+    }
 }