1 package Analysis.OwnershipAnalysis;
3 public class ReachOperation {
8 public ReachOperation(Canonical a, Canonical b) {
9 assert a.canonicalvalue!=0;
10 assert b.canonicalvalue!=0;
15 public int hashCode() {
16 return a.canonicalvalue^(b.canonicalvalue<<1);
18 public boolean equals(Object o) {
19 ReachOperation ro=(ReachOperation)o;
20 return ro.a.canonicalvalue==a.canonicalvalue&&
21 ro.b.canonicalvalue==b.canonicalvalue;