(black-bad-nodes-deterministic fdn)
TODO: update.
Bad node w.r.t. white (deterministic): A node (#j) is black but all of its incoming strokes are white and all strokes have priority (#i) such that j <= i.
TODO: update. Bad node w.r.t. white (deterministic): A node (#j) is black but all of its incoming strokes are white and all strokes have priority (#i) such that j <= i.
(black-bad-nodes-nondeterministic fdn)
Bad node w.r.t. white (non-deterministic): A node (#i) is black but points to a white stroke (#j) that has only black nodes pointing to it, and j >= i. One of these black nodes must turn white.
Bad node w.r.t. white (non-deterministic): A node (#i) is black but points to a white stroke (#j) that has only black nodes pointing to it, and j >= i. One of these black nodes must turn white.
(black-bad-strokes fdn)
Bad stroke w.r.t. white: A stroke (#i) is black but points a white node (#j) and i <= j; or a stroke (#j) is black but some white node (#i) points to it, and j <= i.
Bad stroke w.r.t. white: A stroke (#i) is black but points a white node (#j) and i <= j; or a stroke (#j) is black but some white node (#i) points to it, and j <= i.
(clear-cache fdn)
Clears cache internal to FDN of nodes/strokes that have changed color recently, as these and their neighbors are the only nodes/strokes we need to examine for possible color changes.
Clears cache internal to FDN of nodes/strokes that have changed color recently, as these and their neighbors are the only nodes/strokes we need to examine for possible color changes.
(nodes-cached fdn)
Return only those nodes that are members or neighbors-of-members in the cache.
Return only those nodes that are members or neighbors-of-members in the cache.
(strokes-cached fdn)
Return only those strokes that are members or neighbors-of-members in the cache.
Return only those strokes that are members or neighbors-of-members in the cache.
(white-bad-nodes fdn)
Bad node w.r.t. abduction: A node (#i) is white but is pointed to by a black stroke (#j) or points to a black stroke (#j), and j >= i.
Bad node w.r.t. abduction: A node (#i) is white but is pointed to by a black stroke (#j) or points to a black stroke (#j), and j >= i.
(white-bad-strokes-deterministic fdn)
Bad stroke w.r.t. abduction (deterministic): A stroke (#j) is white but all its incoming nodes are black and have priority (#i) such that j <= i.
Bad stroke w.r.t. abduction (deterministic): A stroke (#j) is white but all its incoming nodes are black and have priority (#i) such that j <= i.
(white-bad-strokes-nondeterministic fdn)
Bad stroke w.r.t. abduction (non-deterministic): A stroke (#i) is white but points to a black node (#j) that has only white strokes pointing to it, and j >= i.
Bad stroke w.r.t. abduction (non-deterministic): A stroke (#i) is white but points to a black node (#j) that has only white strokes pointing to it, and j >= i.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close