Node and edge equality and hash updates
authorjjenista <jjenista>
Wed, 13 Aug 2008 23:59:03 +0000 (23:59 +0000)
committerjjenista <jjenista>
Wed, 13 Aug 2008 23:59:03 +0000 (23:59 +0000)
commit0b8de82a6f0b89492cd4ccc6fd73b40a48d11c87
treee5e85b0444347857b4f1ddf9b1dd1166e26310d6
parent125d43f409f874f1eabf32f79eed96e45bfbe32f
Node and edge equality and hash updates
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
Robust/src/Tests/OwnershipAnalysisTest/testGraphs/Main.java