use unionUpArity in simple rewrite scenario also
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 2571 AllocationSite.java
-rw-r--r-- 393 Canonical.java
-rw-r--r-- 1239 ChangeTuple.java
-rw-r--r-- 1813 ChangeTupleSet.java
-rw-r--r-- 4310 HeapRegionNode.java
-rw-r--r-- 738 LabelNode.java
-rw-r--r-- 25518 OwnershipAnalysis.java
-rw-r--r-- 68967 OwnershipGraph.java
-rw-r--r-- 1282 OwnershipNode.java
-rw-r--r-- 7518 ReachabilitySet.java
-rw-r--r-- 3589 ReferenceEdge.java
-rw-r--r-- 1237 SubstitutionTuple.java
-rw-r--r-- 2280 TokenTuple.java
-rw-r--r-- 6189 TokenTupleSet.java