missing class

diff --git a/Robust/TransSim/ObjIndex.java b/Robust/TransSim/ObjIndex.java
new file mode 100644 (file)
index 0000000..2451540
--- /dev/null
+++ b/Robust/TransSim/ObjIndex.java
@@ -0,0 +1,17 @@
+public class ObjIndex {
+  int object;
+  int index;
+  public ObjIndex(int object, int index) {
+    this.object=object;
+    this.index=index;
+  }
+
+  public boolean equals(Object o) {
+    ObjIndex other=(ObjIndex)o;
+    return (other.object==object)&&(other.index==index);
+  }
+
+  public int hashCode() {
+    return object^index;
+  }
+}
\ No newline at end of file