0.8.4-SNAPSHOT Arrow_down_16x16

-featurec

clojure.core.logic

  • (-featurec x fs)

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

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

Comments top

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