special union of reachability sets works correctly now
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 2142 AllocationSite.java
-rw-r--r-- 1050 ChangeTuple.java
-rw-r--r-- 1034 ChangeTupleSet.java
-rw-r--r-- 2669 HeapRegionNode.java
-rw-r--r-- 722 LabelNode.java
-rw-r--r-- 23077 OwnershipAnalysis.java
-rw-r--r-- 47200 OwnershipGraph.java
-rw-r--r-- 1394 OwnershipNode.java
-rw-r--r-- 2603 ReachabilitySet.java
-rw-r--r-- 1342 ReferenceEdgeProperties.java
-rw-r--r-- 1535 TokenTuple.java
-rw-r--r-- 1272 TokenTupleSet.java