The inherited family's rows of the candidate index: the clashes the settle's detector
found (discovery/discover-inherited!), each with its vantages, where each is placed.
See docs/nmtms.md, "The inherited-clash memo".
The inherited family's rows of the candidate index: the clashes the settle's detector found (`discovery/discover-inherited!`), each with its vantages, where each is placed. See docs/nmtms.md, "The inherited-clash memo".
The inherited family's entry in decide/registry. Its rows are installed by the
settle's detector, not noted at the store. Each nogood of it is placed as a conclusion
(chain/place-inherited!).
The inherited family's entry in `decide/registry`. Its rows are installed by the settle's detector, not noted at the store. Each nogood of it is placed as a conclusion (`chain/place-inherited!`).
(inherited-clashes kb)The inherited clashes, {members {:nogood :sentence :inherited :vantages}}.
The inherited clashes, `{members {:nogood :sentence :inherited :vantages}}`.
(install-inherited! kb ngs)Keep the nogood maps ngs a discovery found under :inherited: one entry per member
set, its vantages the union of every map's and its :sentence and :inherited the
least map's by content. Journals only the members that entered or left, so a clash
found again moves no candidate. Returns the member sets the index held before and does
not hold now.
Keep the nogood maps `ngs` a discovery found under `:inherited`: one entry per member set, its vantages the union of every map's and its `:sentence` and `:inherited` the least map's by content. Journals only the members that entered or left, so a clash found again moves no candidate. Returns the member sets the index held before and does not hold now.
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 |