(in-package :cs325-user)

(define-test valid
  (assert-equal '((a a) (b b) (c c)) (valid '((a a) (b b) (c c))))
  (assert-false (valid '((a a) (b b) nil)))
  (assert-equal '((?x a) (b b) (c c)) (valid '((?x a) (b b) (c c))))
  (assert-equal '((?x a) (?y b) (?z c)) (valid '((?x a) (?y b) (?z c))))
  (assert-false (valid '((?x a) (b b) (?x c))))
  (assert-equal '((?x a) (b b) (?x a)) (valid '((?x a) (b b) (?x a))))
  )

(defun valid (bdgs)
  (and (every (lambda (bdg)
                (eql (assoc (car bdg) bdgs) bdg))
              bdgs)
       bdgs))