0.8.4-SNAPSHOT Arrow_down_16x16
  • (dom x dom)
Assign a var x a 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:658 top

(defn dom
  "Assign a var x a domain."
  [x dom]
  (fn [a]
    ((composeg
      (process-dom x dom)
      (if (and (nil? (get-dom a x))
               (not (singleton-dom? dom)))
        (domc x)
        identity)) a)))
Vars in clojure.core.logic.fd/dom:
Used in 0 other vars

Comments top

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