clojure.core.logic.protocols — org.clojure/core.logic 1.0.0

enforceable? clj

(enforceable? x)

IAnswerCache clj protocol

-add clj

(-add this x)

-cached? clj

(-cached? this x)

IBind clj protocol

bind clj

(bind this g)

IBuildTerm clj protocol

build-term clj

(build-term u s)

IConstraintId clj protocol

-id clj

(-id c)

IConstraintOp clj protocol

-rands clj

(-rands c)

-rator clj

(-rator c)

IConstrainTree clj protocol

-constrain-tree clj

(-constrain-tree t fc s)

IConstraintStep clj protocol

-step clj

(-step c s)

IConstraintStore clj protocol

addc clj

(addc this a c)

constraints-for clj

(constraints-for this a x ws)

migrate clj

(migrate this x root a)

remc clj

(remc this a c)

runc clj

(runc this c state)

updatec clj

(updatec this a c)

IConstraintWatchedStores clj protocol

-watched-stores clj

(-watched-stores c)

id clj

(id c)

IDisunifyTerms clj protocol

-disunify-terms clj

(-disunify-terms u v s cs)

IEntailed clj protocol

-entailed? clj

(-entailed? c)

IEntailedVar clj protocol

-entailed-var? clj

(-entailed-var? c x)

IFeature clj protocol

-feature clj

(-feature x)

IForceAnswerTerm clj protocol

-force-ans clj

(-force-ans v x)

IIfA clj protocol

ifa clj

(ifa b gs c)

IIfU clj protocol

ifu clj

(ifu b gs c)

IJonc clj protocol

-joncf clj

(-joncf this)

IMemberCount clj protocol

-member-count clj

(-member-count dom)

IMergeDomains clj protocol

-merge-doms clj

(-merge-doms a b)

IMPlus clj protocol

mplus clj

(mplus a f)

IOccursCheckTerm clj protocol

occurs-check-term clj

(occurs-check-term v x s)

IPrefix clj protocol

-prefix clj

(-prefix c)

IReifiableConstraint clj protocol

-reifyc clj

(-reifyc c v r a)

IReifyTerm clj protocol

reify-term clj

(reify-term v s)

IRel clj protocol

add-indexes clj

(add-indexes this arity index)

indexes-for clj

(indexes-for this arity)

setfn clj

(setfn this arity f)

IRunnable clj protocol

-runnable? clj

(-runnable? c)

ISubstitutions clj protocol

ext-no-check clj

(ext-no-check this x v)

walk clj

(walk this x)

ISubstitutionsCLP clj protocol

ext-run-cs clj

(ext-run-cs this x v)

queue clj

(queue this c)

root-val clj

(root-val this x)

root-var clj

(root-var this x)

update-var clj

(update-var this x v)

ISuspendedStream clj protocol

ready? clj

(ready? this)

ITabled clj protocol

-reify-tabled clj

(-reify-tabled this v)

reify-tabled clj

(reify-tabled this v)

reuse clj

(reuse this argv cache start end)

subunify clj

(subunify this arg ans)

ITake clj protocol

take* clj

(take* a)

IUnifyTerms clj protocol

unify-terms clj

(unify-terms u v s)

IUnifyWithPMap clj protocol

unify-with-pmap clj

(unify-with-pmap pmap u s)

IUnifyWithRecord clj protocol

unify-with-record clj

(unify-with-record u v s)

IUninitialized clj protocol

-uninitialized clj

(-uninitialized coll)

IUnwrapConstraint clj protocol

-unwrap clj

(-unwrap c)

IVerifyConstraint clj protocol

-verify clj

(-verify c a cs)

IWalkTerm clj protocol

walk-term clj

(walk-term v f)

IWithConstraintId clj protocol

-with-id clj

(-with-id c id)

IWithPrefix clj protocol

-with-prefix clj

(-with-prefix c p)

LConsPrint clj protocol

toShortString clj

(toShortString this)

LConsSeq clj protocol

lfirst clj

(lfirst this)

lnext clj

(lnext this)

non-storable? clj

(non-storable? x)

reifiable? clj

(reifiable? x)

tree-constraint? clj

(tree-constraint? x)

with-id clj

(with-id c id)