X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FTree%2FFlagOpNode.java;fp=Robust%2Fsrc%2FIR%2FTree%2FFlagOpNode.java;h=0000000000000000000000000000000000000000;hb=cdcf09c40af1419fa42932aae249cb79b69b5daf;hp=558ebabba708788cc968acf04d1aec21e03b95b2;hpb=bae799f54777dbf7bf3f222c61aeeb72b4b11c85;p=IRC.git

diff --git a/Robust/src/IR/Tree/FlagOpNode.java b/Robust/src/IR/Tree/FlagOpNode.java
deleted file mode 100644
index 558ebabb..00000000
--- a/Robust/src/IR/Tree/FlagOpNode.java
+++ /dev/null
@@ -1,56 +0,0 @@
-package IR.Tree;
-import IR.Operation;
-
-public class FlagOpNode extends FlagExpressionNode {
-    FlagExpressionNode left;
-    FlagExpressionNode right;
-    Operation op;
-
-    public FlagOpNode(FlagExpressionNode l, FlagExpressionNode r, Operation o) {
-	left=l;
-	right=r;
-	op=o;
-    }
-
-    public FlagOpNode(FlagExpressionNode l, Operation o) {
-	left=l;
-	right=null;
-	op=o;
-    }
-
-    public FlagExpressionNode getLeft() {
-	return left;
-    }
-
-    public FlagExpressionNode getRight() {
-	return right;
-    }
-
-    public Operation getOp() {
-	return op;
-    }
-
-    public String printNode(int indent) {
-	if (right==null)
-	    return op.toString()+"("+left.printNode(indent)+")";
-	else
-	    return left.printNode(indent)+" "+op.toString()+" "+right.printNode(indent);
-    }
-
-    public int kind() {
-	return Kind.FlagOpNode;
-    }
-
-    public DNFFlag getDNF() {
-	DNFFlag leftflag=left.getDNF();
-	DNFFlag rightflag=right!=null?right.getDNF():null;
-
-	if (op.getOp()==Operation.LOGIC_NOT) {
-	    return leftflag.not();
-	} else if (op.getOp()==Operation.LOGIC_OR) {
-	    return leftflag.or(rightflag);
-	} else if (op.getOp()==Operation.LOGIC_AND) {
-	    return leftflag.and(rightflag);
-	} else throw new Error();
-    }
-}