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) () )