Not the most elegant fix, but out-of-context nodes can be uniquely identified by...
authorjjenista <jjenista>
Thu, 11 Mar 2010 00:13:06 +0000 (00:13 +0000)
committerjjenista <jjenista>
Thu, 11 Mar 2010 00:13:06 +0000 (00:13 +0000)
commit4e628a40cb68c597dc2dc6135db1b77ceda708ae
treea1e78630290a4e45526d7dd6c2ab1e5e89498607
parentc7310b76647623103d8a9c687d985b62dd7431c4
Not the most elegant fix, but out-of-context nodes can be uniquely identified by a string, which is mapped to a particular hrn id to get convergence
Robust/src/Analysis/Disjoint/ReachGraph.java