Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv31847
Modified Files: substitutions.lisp Log Message: See previous message.
--- /project/cl-unification/cvsroot/cl-unification/substitutions.lisp 2004/11/17 22:19:54 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/substitutions.lisp 2007/05/21 12:33:09 1.2 @@ -24,11 +24,22 @@ (declare (type binding b)) (car b))
+(defun (setf binding-variable) (v b) + (declare (type binding b)) + (setf (car b) v)) + + (defun binding-value (b) (declare (type binding b)) (cdr b))
+(defun (setf binding-value) (v b) + (declare (type binding b)) + (setf (cdr b) v)) + + + (define-condition unification-variable-unbound (unbound-variable) () )
cl-unification-cvs@common-lisp.net