special union of reachability sets works correctly now
authorjjenista <jjenista>
Tue, 1 Jul 2008 21:49:10 +0000 (21:49 +0000)
committerjjenista <jjenista>
Tue, 1 Jul 2008 21:49:10 +0000 (21:49 +0000)
commite7b21430c1e58bf2f92d79499a612446821a9406
treebe7967c21d75c21aa2ef594004365d8e13662b30
parent21df9e78ca2af4072431bfa3ed631cd4dee0827e
special union of reachability sets works correctly now
Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
Robust/src/Tests/OwnershipAnalysisTest/testTokens/Main.java