Topologically sort callee leaves to front of analysis work set
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 4711 AllocationSite.java
-rw-r--r-- 393 Canonical.java
-rw-r--r-- 1602 ChangeTuple.java
-rw-r--r-- 2238 ChangeTupleSet.java
-rw-r--r-- 4627 HeapRegionNode.java
-rw-r--r-- 738 LabelNode.java
-rw-r--r-- 1656 MethodContext.java
-rw-r--r-- 35185 OwnershipAnalysis.java
-rw-r--r-- 116114 OwnershipGraph.java
-rw-r--r-- 1282 OwnershipNode.java
-rw-r--r-- 9986 ReachabilitySet.java
-rw-r--r-- 3671 ReferenceEdge.java
-rw-r--r-- 3339 TokenTuple.java
-rw-r--r-- 11943 TokenTupleSet.java