bug fix, was too aggressive with equals method for canonical objects, have to do...
authorjjenista <jjenista>
Mon, 22 Feb 2010 22:21:29 +0000 (22:21 +0000)
committerjjenista <jjenista>
Mon, 22 Feb 2010 22:21:29 +0000 (22:21 +0000)
commit5e556a9bcff1d74eb0cda59cdf62aa68d7a36cfb
tree2a5a2a596a8ac68e60f500b22eb36c0e92a8c822
parent07af3944d5cbc6531ce974402eecde9573a8798b
bug fix, was too aggressive with equals method for canonical objects, have to do full compare otherwise you can't compare an object to something in the canon in order to retrieve the canonical version
Robust/src/Analysis/Disjoint/Canonical.java
Robust/src/Analysis/Disjoint/ChangeSet.java
Robust/src/Analysis/Disjoint/ChangeTuple.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ExistPred.java
Robust/src/Analysis/Disjoint/ExistPredSet.java
Robust/src/Analysis/Disjoint/HeapRegionNode.java
Robust/src/Analysis/Disjoint/ReachSet.java
Robust/src/Analysis/Disjoint/ReachState.java
Robust/src/Analysis/Disjoint/ReachTuple.java