Robust/src/Analysis/Disjoint/ReachOperation.java

   1 package Analysis.Disjoint;
   2
   3 public class ReachOperation {
   4     Canonical a;
   5     Canonical b;
   6     public Canonical c;
   7
   8     public ReachOperation(Canonical a, Canonical b) {
   9         assert a.canonicalvalue!=0;
  10         assert b.canonicalvalue!=0;
  11         this.a=a;
  12         this.b=b;
  13     }
  14
  15     public int hashCode() {
  16         return a.canonicalvalue^(b.canonicalvalue<<1);
  17     }
  18     public boolean equals(Object o) {
  19         ReachOperation ro=(ReachOperation)o;
  20         return ro.a.canonicalvalue==a.canonicalvalue&&
  21             ro.b.canonicalvalue==b.canonicalvalue;
  22     }
  23 }