clojure.core.logic.disequality — core.logic 0.6.1-SNAPSHOT

!= clj macro

(!= u v)

constraint-verify clj

(constraint-verify s u v)

constraint-verify-simple clj

(constraint-verify-simple s u v)

constraint? clj

(constraint? x)

IConstraintStore clj protocol

discard-constraint clj

(discard-constraint this c)

discard-simplified clj

(discard-simplified this)

get-simplified clj

(get-simplified this)

merge-constraint clj

(merge-constraint this c)

propagate clj

(propagate this s u v)

refine-constraint clj

(refine-constraint this c u)

IDisequality clj protocol

!=-verify clj

(!=-verify this sp)

make-c clj

(make-c m)

make-store clj

(make-store)

prefix clj

(prefix s <s)

unify* clj

(unify* s m)