Starting to integrate reachability classes into ownership.
[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-- 2933 HeapRegionNode.java
-rw-r--r-- 722 LabelNode.java
-rw-r--r-- 23077 OwnershipAnalysis.java
-rw-r--r-- 47679 OwnershipGraph.java
-rw-r--r-- 1394 OwnershipNode.java
-rw-r--r-- 2842 ReachabilitySet.java
-rw-r--r-- 1342 ReferenceEdgeProperties.java
-rw-r--r-- 1535 TokenTuple.java
-rw-r--r-- 1272 TokenTupleSet.java