Ordinary defining contexts of a term, selected from its stored mentions.
Ordinary defining contexts of a term, selected from its stored mentions.
(asserted-defining-leaves kb h-or-hs)asserted-leaves-such-that handle or handles h-or-hs, ignoring skeletal things: the
walk halts at a skeletal node (non-skeletal-fn) instead of recursing, and a spelling is
walked to its source alone. One walk, however many starts.
`asserted-leaves-such-that` handle or handles `h-or-hs`, ignoring skeletal things: the walk halts at a skeletal node (`non-skeletal-fn`) instead of recursing, and a spelling is walked to its source alone. One walk, however many starts.
(asserted-leaves kb h)asserted-leaves-such-that handle h, keeping every node.
`asserted-leaves-such-that` handle `h`, keeping every node.
(asserted-leaves-such-that kb h-or-hs)(asserted-leaves-such-that kb keep? h-or-hs){:leaves #{h} :computed? b}: the premises the valid, supporting justifications of
h-or-hs (a handle or a collection, walked together) bottom out in. keep? filters
every node met (a handle, a justification, or the mark :computed), default all; a
rejected node halts the walk there. A premise is its own leaf. :computed? is true
when a kept :computed mark is met. Cycle-safe; each handle is read once.
`{:leaves #{h} :computed? b}`: the premises the valid, supporting justifications of
`h-or-hs` (a handle or a collection, walked together) bottom out in. `keep?` filters
every node met (a handle, a justification, or the mark `:computed`), default all; a
rejected node halts the walk there. A premise is its own leaf. `:computed?` is true
when a kept `:computed` mark is met. Cycle-safe; each handle is read once.(defining-contexts kb term)The maximal ordinary defining contexts. Unsupported believed mentions throw :incomplete-defining-contexts; an empty set does not certify skeletal-only evidence.
The maximal ordinary defining contexts. Unsupported believed mentions throw :incomplete-defining-contexts; an empty set does not certify skeletal-only evidence.
(definition-evidence kb term){:contexts #{c} :skeletal-only? b}: the maximal contexts of the ordinary asserted
leaves that mention term, read in one walk (asserted-defining-leaves) down from all
its believed mentions, and whether it has such mentions but no such leaf, every way in
being skeletal. A believed derived mention with no supporting justification throws
:incomplete-defining-contexts. An absent assertion is not evidence of skeletal-only
definition. An unrepresented term (sx/indexable-term? false) is defined in CxUniverse.
`{:contexts #{c} :skeletal-only? b}`: the maximal contexts of the ordinary asserted
leaves that mention `term`, read in one walk (`asserted-defining-leaves`) down from all
its believed mentions, and whether it has such mentions but no such leaf, every way in
being skeletal. A believed derived mention with no supporting justification throws
:incomplete-defining-contexts. An absent assertion is not evidence of skeletal-only
definition. An unrepresented term (`sx/indexable-term?` false) is defined in CxUniverse.cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |