Liking cljdoc? Tell your friends :D

paragon.axioms


check-axiom-0clj

(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.
sourceraw docstring

check-axiom-1clj

(check-axiom-1 fdn)
source

check-axiom-2clj

(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.
sourceraw docstring

check-axiom-3-and-4clj

(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.
sourceraw docstring

check-axiom-5clj

(check-axiom-5 fdn)

Every stroke sends an arrow to exactly one thing.

Every stroke sends an arrow to exactly one thing.
sourceraw docstring

check-axiom-6clj

(check-axiom-6 fdn)

Arrowing is one-way.

Arrowing is one-way.
sourceraw docstring

check-axiom-7clj

(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.
sourceraw docstring

check-axiom-8clj

(check-axiom-8 fdn)

Every node receives an arrow.

Every node receives an arrow.
sourceraw docstring

check-axiom-coloration-1clj

(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.
sourceraw docstring

check-axiom-coloration-2clj

(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.
sourceraw docstring

check-axiom-coloration-3clj

(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.
sourceraw docstring

check-axiom-coloration-4clj

(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.
sourceraw docstring

check-axiom-coloration-bottomclj

(check-axiom-coloration-bottom fdn)

The node 'bottom' is white.

The node 'bottom' is white.
sourceraw docstring

check-axiom-neg1clj

(check-axiom-neg1 fdn)

Everything is black or white.

Everything is black or white.
sourceraw docstring

check-color-axiomsclj

(check-color-axioms fdn)
source

check-color-axioms-debugclj

(check-color-axioms-debug fdn)
source

check-structure-axiomsclj

(check-structure-axioms fdn)
source

check-structure-axioms-debugclj

(check-structure-axioms-debug fdn)
source

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close