0.8.4-SNAPSHOT Arrow_down_16x16
  • (-fixc x f reifier)
  • (-fixc x f runnable reifier)

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

(defn -fixc
  ([x f reifier] (-fixc x f nil reifier))
  ([x f runnable reifier]
     (reify
       clojure.lang.IFn
       (invoke [this a]
         (let [x (walk a x)]
           ((composeg (f x a reifier) (remcg this)) a)))
       IConstraintOp
       (rator [_] `fixc)
       (rands [_] (if (vector? x) x [x]))
       IReifiableConstraint
       (reifyc [c v r a]
         (if (fn? reifier)
           (reifier c x v r a)
           (let [x (walk* r x)]
             `(fixc ~x ~reifier))))
       IRunnable
       (runnable? [_ a]
         (if (fn? runnable)
           (runnable x a)
           (not (lvar? (walk a x)))))
       IConstraintWatchedStores
       (watched-stores [this] #{::subst}))))
Vars in clojure.core.logic/-fixc:
Used in 0 other vars

Comments top

No comments for -fixc. Log in to add a comment.