0.8.4-SNAPSHOT Arrow_down_16x16
  • (* u v w)
A finite domain constraint for multiplication and
thus division. u, v & w must be 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:1006 top

(defn *
  "A finite domain constraint for multiplication and
   thus division. u, v & w must be eventually be given 
   domains if vars."
  [u v w]
  (cgoal (*c u v w)))
Vars in clojure.core.logic.fd/*:
Used in 0 other vars

Comments top

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