Index

A

acyclic (predicate)

antisymmetric (predicate)

B

bijection (predicate)

bijective (predicate) boolean (module)

C

complete (predicate)

D

dag (predicate) dom (function)

dynamic (macro) dynamicSet (macro)

E

equivalence (predicate)

F

first (function) forest (predicate)

function (predicate) functional (predicate)

G

graph (module)

I

injective (predicate)

innerNodes (function) irreflexive (predicate)

L

leaves (function)

lt (predicate)

M

min (function)

N

noSelfLoops (predicate)

O

ordering (module)

P

partialOrder (predicate) preorder (predicate)

prev (function) prevs (function)

R

ran (function) reflexive (predicate) relation (module)

ring (predicate) rootedAt (predicate) roots (function)

S

smaller (function) stronglyConnected (predicate)

surjective (predicate) symmetric (predicate)

T

ternary (module) time (module) total (predicate)

totalOrder (predicate) transitive (predicate) tree (predicate) treeRootedAt (predicate)

U

undirected (predicate)

W

weaklyConnected (predicate)