rewrite flags in DNF form

[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..68f2b2b46606abd667d4bc4b3b2bc7fd6dde3ca6 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,8 @@ public class FlagNode extends FlagExpressionNode {
     public String printNode(int indent) {
        return name;
     }
+
+    public DNFFlag getDNF() {
+       return new DNFFlag(this);
+    }
 }