Broadening implementation for reachability in ownership analysis.
authorjjenista <jjenista>
Fri, 27 Jun 2008 20:24:54 +0000 (20:24 +0000)
committerjjenista <jjenista>
Fri, 27 Jun 2008 20:24:54 +0000 (20:24 +0000)
commit10cd90122e199a25167fd915c614d2586b6ad508
treef2f4d4ced0b6995f4958cec4595c4eef83f676b0
parent955b5ef7e31126873b8d08cadccfc0e356b77394
Broadening implementation for reachability in ownership analysis.
Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
Robust/src/Makefile