Index of Public Functions and Variables - Unification library 0.5.8 (in development)
This page has an alphabetical index of all the documented functions and variables in Unification library.
A
B
C
D
E
extract-lvars function clojure.core.unify Takes a datastructure and returns a distinct set o...
F
flatten-bindings function clojure.core.unify Flattens recursive bindings in the given map to th...
G
H
I
J
K
L
M
make-occurs-subst-fn function clojure.core.unify Given a function to recognize unification variable... make-occurs-unifier-fn function clojure.core.unify Given a function to recognize unification variable... make-occurs-unify-fn function clojure.core.unify Given a function to recognize unification variable... make-subst-fn function clojure.core.unify Given a function to recognize unification variable... make-unifier-fn function clojure.core.unify Given a function to recognize unification variable... make-unify-fn function clojure.core.unify Given a function to recognize unification variable...
N
O
P
Q
R
S
subst function clojure.core.unify Attempts to substitute the bindings in the appropr...
T
U
unifier function clojure.core.unify Attempts the entire unification process from garne... unifier- function clojure.core.unify Attempts the entire unification process from garne... unify function clojure.core.unify Attempt to unify x and y with the given bindings (... unify- function clojure.core.unify Attempt to unify x and y with the given bindings (...
V
W
X
Y
Z
Other
Copyright 2007-2017 by Rich Hickey and the various contributors
Logo & site design by Tom Hickey.
Clojure auto-documentation system by Tom Faulhaber.
Clojure auto-documentation system by Tom Faulhaber.