lcsp/checking.lisp

;;;; checking.lisp
;;;;
;;;; Copyright (c) 2020 Samuel W. Flint <swflint@flintfam.org>

(in-package #:lcsp)

;;; "lcsp" goes here.

(defmethod check-constraint (constraint vvps &key suppress-cc-update-p) :around
  (let ((result (call-next-method)))
    (unless suppress-cc-update-p
      (incf (constraint-checks (problem constraint))))
    result))

;;; End lcsp