HeapRegionNode and ReferenceEdge both have had the equals() and hashCode()
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 2620 AllocationSite.java
-rw-r--r-- 394 Canonical.java
-rw-r--r-- 1215 ChangeTuple.java
-rw-r--r-- 1799 ChangeTupleSet.java
-rw-r--r-- 3979 HeapRegionNode.java
-rw-r--r-- 733 LabelNode.java
-rw-r--r-- 24212 OwnershipAnalysis.java
-rw-r--r-- 56227 OwnershipGraph.java
-rw-r--r-- 1173 OwnershipNode.java
-rw-r--r-- 6037 ReachabilitySet.java
-rw-r--r-- 3259 ReferenceEdge.java
-rw-r--r-- 1213 SubstitutionTuple.java
-rw-r--r-- 2045 TokenTuple.java
-rw-r--r-- 4676 TokenTupleSet.java