0.8.4-SNAPSHOT Arrow_down_16x16

unify-with-domain*

clojure.core.logic.fd

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

(declare domain sorted-set->domain
         difference* intersection* disjoint?*
         unify-with-domain* finite-domain?
         interval multi-interval)
Vars in clojure.core.logic.fd/unify-with-domain*:
Used in 0 other vars

Comments top

No comments for unify-with-domain*. Log in to add a comment.