0.8.4-SNAPSHOT Arrow_down_16x16

normalize-intervals

clojure.core.logic.fd

  • (normalize-intervals is)

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

(defn normalize-intervals [is]
  (reduce (fn [r i]
            (if (zero? (count r))
              (conj r i)
              (let [j (peek r)
                    jmax (ub j)
                    imin (lb i)]
                (if (core/<= (dec imin) jmax)
                  (conj (pop r) (interval (lb j) (ub i)))
                  (conj r i)))))
          [] is))
Vars in clojure.core.logic.fd/normalize-intervals:
Used in 0 other vars

Comments top

No comments for normalize-intervals. Log in to add a comment.