(check-axiom-0 fdn)
Nothing is both black and white.
Axiom 0 is confirmed from the fact that :coloring is a map.
Nothing is both black and white. Axiom 0 is confirmed from the fact that :coloring is a map.
(check-axiom-2 fdn)
Nothing is both a node and a stroke.
Axiom 2 is confirmed from the fact that :types is a map.
Nothing is both a node and a stroke. Axiom 2 is confirmed from the fact that :types is a map.
(check-axiom-3-and-4 fdn)
Strokes send arrows only to nodes. Nodes send arrows only to strokes.
Strokes send arrows only to nodes. Nodes send arrows only to strokes.
(check-axiom-5 fdn)
Every stroke sends an arrow to exactly one thing.
Every stroke sends an arrow to exactly one thing.
(check-axiom-7 fdn)
If two strokes send arrows to the same thing, and the things from which one of them receives arrows are among those from which the other receives arrows, then those strokes are identical.
If two strokes send arrows to the same thing, and the things from which one of them receives arrows are among those from which the other receives arrows, then those strokes are identical.
(check-axiom-8 fdn)
Every node receives an arrow.
Every node receives an arrow.
(check-axiom-coloration-1 fdn)
Every black node receives an arrow from some black inference stroke.
Every black node receives an arrow from some black inference stroke.
(check-axiom-coloration-2 fdn)
Every white node receives arrows only from white inference strokes.
Every white node receives arrows only from white inference strokes.
(check-axiom-coloration-3 fdn)
Every black inference stroke receives arrows (if any) only from black nodes.
Every black inference stroke receives arrows (if any) only from black nodes.
(check-axiom-coloration-4 fdn)
Every white inference stroke that receives an arrow receives an arrow from some white node.
Every white inference stroke that receives an arrow receives an arrow from some white node.
(check-axiom-coloration-bottom fdn)
The node 'bottom' is white.
The node 'bottom' is white.
(check-axiom-neg1 fdn)
Everything is black or white.
Everything is black or white.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close