0.8.4-SNAPSHOT Arrow_down_16x16



  • (update-var-dom a x dom)

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:636 top

(defn update-var-dom
  [a x dom]
  (let [domp (get-dom a x)]
    (if domp
      (let [i (intersection dom domp)]
        (when i
          (resolve-storable-dom a x i)))
      (resolve-storable-dom a x dom))))
Vars in clojure.core.logic.fd/update-var-dom:
Used in 0 other vars

Comments top

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