0.8.4-SNAPSHOT Arrow_down_16x16



  • (update-dom s x dom f)
  • (update-dom s x dom f seenset)

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

(defn update-dom
  ([s x dom f]
     (let [x (root-var s x)]
       (update-dom s x dom f nil)))
  ([s x dom f seenset]
     (let [v (root-val s x)
           v (if (lvar? v)
               (subst-val ::unbound)
           doms (:doms v)
           s (update-var s x (assoc-dom v dom (f (get doms dom))))]
       (sync-eset s v seenset
         (fn [s y] (update-dom s y dom f (conj (or seenset #{}) x)))))))
Vars in clojure.core.logic/update-dom:
Used in 0 other vars

Comments top

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