@@ -19,4 +19,12 @@
((or (not value) (null constr)) value)
(setf value (check-constraint constr vvps :suppress-cc-update-p t)))))
+(defun fix-vvps (vvps constraint)
+ (let ((variables (variables constraint)))
+ (mapcar #'(lambda (var)
+ (find var vvps
+ :key #'car
+ :test #'equal))
+ variables)))
+
;;; End lcsp
