0.8.4-SNAPSHOT Arrow_down_16x16
  • (init-s opts s)

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/unifier.clj:103 top

(defn init-s [opts s]
  (let [s (reduce (fn [s [k v]] ((== k v) s)) s (:as opts))]
    (reduce queue-constraints
      (with-meta s {:reify-vars (fn [v rs] rs)})
      (:when opts))))
Vars in clojure.core.logic.unifier/init-s:
Used in 0 other vars

Comments top

No comments for init-s. Log in to add a comment.