[pypy-svn] r23753 - pypy/dist/pypy/lib/logic/computation_space

[auc at codespeak.net]

Author: auc
Date: Tue Feb 28 17:58:05 2006
New Revision: 23753

Modified:
   pypy/dist/pypy/lib/logic/computation_space/variable.py
Log:
ordering of variables depends on name


Modified: pypy/dist/pypy/lib/logic/computation_space/variable.py
==============================================================================
--- pypy/dist/pypy/lib/logic/computation_space/variable.py	(original)
+++ pypy/dist/pypy/lib/logic/computation_space/variable.py	Tue Feb 28 17:58:05 2006
@@ -83,6 +83,9 @@
     def __hash__(self):
         return self.name.__hash__()
 
+    def __gt__(self, other):
+        return self.name.__gt__(other.name)
+
     def bind(self, val):
         """top-level space bind"""
         self._cs.bind(self, val)