0.8.4-SNAPSHOT Arrow_down_16x16



  • (enforce-constraints x)

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

(defn enforce-constraints [x]
   (force-ans x)
   (fn [a]
     (let [constrained (enforceable-constrained a)]
       (verify-all-bound a constrained)
       ((onceo (force-ans constrained)) a)))))
Vars in clojure.core.logic/enforce-constraints:
Used in 0 other vars

Comments top

No comments for enforce-constraints. Log in to add a comment.