0.8.4-SNAPSHOT
verify-all-bound
clojure.core.logic
- (verify-all-bound a constrained)
0 Examples top
See Also top
Source
clojure/core/logic.clj:2237
top
(defn verify-all-bound [a constrained]
(letfn [(verify-all-bound* [a constrained]
(when constrained
(let [x (first constrained)]
(if (and (lvar? x)
(and (lvar? (walk a x))
(nil? (get-dom a x ::fd))))
(throw (Exception. (str "Constrained variable " x " without domain")))
(recur a (next constrained))))))]
(verify-all-bound* a (seq constrained))))
Vars in clojure.core.logic/verify-all-bound:
Used in 0 other vars
Comments top
No comments for verify-all-bound. Log in to add a comment.