0.8.4-SNAPSHOT Arrow_down_16x16
  • (get-dom s 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.clj:494 top

(defn get-dom [s x dom]
  (let [v (root-val s x)]
    (cond
      (subst-val? v) (let [v' (:v v)]
                       (if (not= v' ::unbound)
                         v'
                         (-> v :doms dom)))
      (not (lvar? v)) v
      ;; :else ::no-dom ;; NOTE: this doesn't work, some assumptions about nil - David
      )))
Vars in clojure.core.logic/get-dom:
Used in 0 other vars

Comments top

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