bug fix for primitive parameters, made a simple method for encapsulating the primitiv...
authorjjenista <jjenista>
Tue, 23 Mar 2010 18:52:42 +0000 (18:52 +0000)
committerjjenista <jjenista>
Tue, 23 Mar 2010 18:52:42 +0000 (18:52 +0000)
commitfab31961e2c65a856dc405c3e4ed136498aec33d
treef920eef4e271ae2968f50ef1271dfa6ebb00c151
parentd5b0268446ce5ed2838629d0d80610d991ab02b2
bug fix for primitive parameters, made a simple method for encapsulating the primitive/immutable test, leaving a hook for debugging the graph equals method that was useful, easy to turn back on
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ReachGraph.java