0.8.4-SNAPSHOT Arrow_down_16x16



  • (enforceable-constrained a)

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source clojure/core/logic.clj:2248 top

(defn enforceable-constrained [a]
  (let [cs (:cs a)
        km (:km cs)
        cm (:cm cs)
        vs (keys km)]
    (filter (fn [v]
              (some (fn [cid]
                      (when-let [c (get cm cid)]
                        (enforceable? c)))
                    (get km v)))
Vars in clojure.core.logic/enforceable-constrained:
Used in 0 other vars

Comments top

No comments for enforceable-constrained. Log in to add a comment.