0.8.4-SNAPSHOT Arrow_down_16x16

reify-constraints

clojure.core.logic

  • (reify-constraints v r 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:2272 top

(defn reify-constraints [v r a]
  (let [cs  (:cs  a)
        rcs (->> (vals (:cm cs))
                 (filter reifiable?)
                 (map #(reifyc % v r a))
                 (filter #(not (nil? %)))
                 (into #{}))]
    (if (empty? rcs)
      (choice (list v) empty-f)
      (choice (list `(~v :- ~@rcs)) empty-f))))
Vars in clojure.core.logic/reify-constraints:
Used in 0 other vars

Comments top

No comments for reify-constraints. Log in to add a comment.