0.8.4-SNAPSHOT Arrow_down_16x16
  • (entangle s x y)

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

(defn entangle [s x y]
  (let [x  (root-var s x)
        y  (root-var s y)
        xv (to-subst-val (root-val s x))
        yv (to-subst-val (root-val s y))]
    (-> s
      (update-var x (assoc xv :eset (conj (or (:eset xv) #{}) y)))
      (update-var y (assoc yv :eset (conj (or (:eset yv) #{}) x))))))
Vars in clojure.core.logic/entangle:
Used in 0 other vars

Comments top

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