[pypy-svn] r26516 - pypy/dist/pypy/doc/discussion
auc at codespeak.net
auc at codespeak.net
Fri Apr 28 12:16:48 CEST 2006
Author: auc
Date: Fri Apr 28 12:16:47 2006
New Revision: 26516
Modified:
pypy/dist/pypy/doc/discussion/logic-plan.txt
Log:
more api
Modified: pypy/dist/pypy/doc/discussion/logic-plan.txt
==============================================================================
--- pypy/dist/pypy/doc/discussion/logic-plan.txt (original)
+++ pypy/dist/pypy/doc/discussion/logic-plan.txt Fri Apr 28 12:16:47 2006
@@ -218,7 +218,7 @@
def clone(self):
"""returns a cloned computation space"""
-
+
def merge(self):
"""
extract solution values from an entailed space
@@ -235,6 +235,25 @@
was given to the commit call
"""
+ def fail(self):
+ """
+ mark the space as failed
+ """
+
+ """
+ constraint stuff : a space acts as/contains a constraint
+ store which holds : logic variables, constraint variables
+ (logic vars augmented with finite domains), constraints
+ """
+
+ def var(self, domain, name=None):
+ """
+ creates a possibly named contraint variable inside
+ the space, returns the variable object
+ """
+
+ def tell(self, constraint):
+ """register a constraint"""
Programs runing in a computation spaces should not be allowed to alter
the top-level space (i.e interaction with the global program state and
More information about the Pypy-commit
mailing list