Prune change sets during token prop by beta info only, not whether the rule was applied
authorjjenista <jjenista>
Tue, 5 Aug 2008 01:28:15 +0000 (01:28 +0000)
committerjjenista <jjenista>
Tue, 5 Aug 2008 01:28:15 +0000 (01:28 +0000)
commit9e396f069061b9c3a65f25b3d534d4cf1a071e6c
tree4c4003739b4bb4d6d097574377a7dabb0408b3a2
parentd15cd07ecbb33f3c45006fe430eb7c8dc2f9bc02
Prune change sets during token prop by beta info only, not whether the rule was applied
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/LabelNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java