From d9c417b4ed3acf9066c7e4839a370248ef59ef28 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 4 Jan 2010 05:16:53 +0000
Subject: [PATCH] missing class

---
 Robust/TransSim/ObjIndex.java | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Robust/TransSim/ObjIndex.java

diff --git a/Robust/TransSim/ObjIndex.java b/Robust/TransSim/ObjIndex.java
new file mode 100644
index 00000000..24515406
--- /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
-- 
2.34.1