0.8.4-SNAPSHOT Arrow_down_16x16
  • (-predc x p)
  • (-predc x p pform)

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

(defn -predc
  ([x p] (-predc x p p))
  ([x p pform]
     (reify
       clojure.lang.IFn
       (invoke [this a]
         (let [x (walk a x)]
           (when (p x)
             ((remcg this) a))))
       IConstraintOp
       (rator [_] (if (seq? pform)
                    `(predc ~pform)
                    `predc))
       (rands [_] [x])
       IReifiableConstraint
       (reifyc [c v r a]
         (if (and (not= p pform) (fn? pform))
           (pform c v r a)
           pform))
       IRunnable
       (runnable? [_ a]
         (not (lvar? (walk a x))))
       IConstraintWatchedStores
       (watched-stores [this] #{::subst}))))
Vars in clojure.core.logic/-predc:
Used in 0 other vars

Comments top

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