Added reachability to simple edge cases.
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 2142 AllocationSite.java
-rw-r--r-- 394 Canonical.java
-rw-r--r-- 1171 ChangeTuple.java
-rw-r--r-- 1446 ChangeTupleSet.java
-rw-r--r-- 3061 HeapRegionNode.java
-rw-r--r-- 722 LabelNode.java
-rw-r--r-- 23217 OwnershipAnalysis.java
-rw-r--r-- 47879 OwnershipGraph.java
-rw-r--r-- 1394 OwnershipNode.java
-rw-r--r-- 3383 ReachabilitySet.java
-rw-r--r-- 2308 ReferenceEdgeProperties.java
-rw-r--r-- 1710 TokenTuple.java
-rw-r--r-- 1676 TokenTupleSet.java