0.8.4-SNAPSHOT Arrow_down_16x16
  • (<= u v)
A finite domain constraint. u must be less than or equal to v.
u and v must eventually be given domains if vars.

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/fd.clj:840 top

(defn <=
  "A finite domain constraint. u must be less than or equal to v.
   u and v must eventually be given domains if vars."
  [u v]
  (cgoal (<=c u v)))
Vars in clojure.core.logic.fd/<=:
Used in 0 other vars

Comments top

No comments for <=. Log in to add a comment.