0.8.4-SNAPSHOT Arrow_down_16x16

ISubstitutionsCLP

clojure.core.logic.protocols

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/protocols.clj:112 top

(defprotocol ISubstitutionsCLP
  (root-val [this x])
  (root-var [this x])
  (ext-run-cs [this x v])
  (queue [this c])
  (update-var [this x v]))
Vars in clojure.core.logic.protocols/ISubstitutionsCLP:
Used in 0 other vars

Comments top

No comments for ISubstitutionsCLP. Log in to add a comment.