0.8.4-SNAPSHOT Arrow_down_16x16

process-dom

clojure.core.logic.fd

  • (process-dom x dom)
If x is a var we update its domain. If it's an integer
we check that it's a member of the given domain.

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/fd.clj:645 top

(defn process-dom
  "If x is a var we update its domain. If it's an integer
   we check that it's a member of the given domain."
  [x dom]
  (fn [a]
    (when dom
      (cond
       (lvar? x) (update-var-dom a x dom)
       (member? dom x) a
       :else nil))))
Vars in clojure.core.logic.fd/process-dom:
Used in 0 other vars

Comments top

No comments for process-dom. Log in to add a comment.