0.8.4-SNAPSHOT Arrow_down_16x16
  • (add-dom s x dom domv)
  • (add-dom s x dom domv 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:452 top

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

Comments top

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