change analysis so nodes are added on demand, and abstractly garbage collected when...
authorjjenista <jjenista>
Tue, 9 Feb 2010 22:49:09 +0000 (22:49 +0000)
committerjjenista <jjenista>
Tue, 9 Feb 2010 22:49:09 +0000 (22:49 +0000)
commit18906660e2c1ece8ce14ac54701d8d8eef943274
tree2c5f022afb8dbb0a2fad41aa17ec801037d7c163
parent923afbb53c16c314ecb01e45f3f278212908dcca
change analysis so nodes are added on demand, and abstractly garbage collected when not reachable from roots
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java