rewrite flags in DNF form
authorbdemsky <bdemsky>
Fri, 4 Aug 2006 23:00:52 +0000 (23:00 +0000)
committerbdemsky <bdemsky>
Fri, 4 Aug 2006 23:00:52 +0000 (23:00 +0000)
commit95701add85a22544e2e8514ba64fe17bb71d035f
tree89ff6a9214e605e24a5187df091db3f9793d654f
parentc03aca34cce540d6f6f9e37a7f0a358fcbca505a
rewrite flags in DNF form
Robust/src/IR/Tree/DNFFlag.java [new file with mode: 0644]
Robust/src/IR/Tree/DNFFlagAtom.java [new file with mode: 0644]
Robust/src/IR/Tree/FlagExpressionNode.java
Robust/src/IR/Tree/FlagNode.java
Robust/src/IR/Tree/FlagOpNode.java