Robust/TransSim/ObjIndex.java

   1 public class ObjIndex {
   2   int object;
   3   int index;
   4   public ObjIndex(int object, int index) {
   5     this.object=object;
   6     this.index=index;
   7   }
   8
   9   public boolean equals(Object o) {
  10     ObjIndex other=(ObjIndex)o;
  11     return (other.object==object)&&(other.index==index);
  12   }
  13
  14   public int hashCode() {
  15     return object^index;
  16   }
  17 }