--- a/python/utils.py	Fri Nov 25 18:38:54 2011 -0500
+++ b/python/utils.py	Fri Nov 25 18:44:59 2011 -0500
@@ -10,6 +10,16 @@
 
 delimiterChar = '%';
 
+#########################
+# Enumerations
+#########################
+
+def inverseEnumeration(l):
+    'Returns the dictionary that provides for each element in the input list its index in the input list'
+    result = {}
+    for i,x in enumerate(l):
+        result[x] = i
+    return result
 
 #########################
 # CLI utils