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, every clash a discovery found, under :inherited in place
of what it held: one entry per member set (set-entry). 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`, every clash a discovery found, under `:inherited` in place of what it held: one entry per member set (`set-entry`). 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.
(update-inherited! kb changes sets-of)Apply changes, {members [ngmap]} the clashes a discovery found for each member set
it read again, to :inherited: a set with maps takes the entry set-entry builds, a
set with none leaves. Every other set is kept as held. sets-of answers, for a
handle, every member set holding it that a discovery can find, so a member of a set
that left stays a member while another set holds it. Journals only the members that
entered or left. Returns the member sets the index held before and does not hold now.
Apply `changes`, `{members [ngmap]}` the clashes a discovery found for each member set
it read again, to `:inherited`: a set with maps takes the entry `set-entry` builds, a
set with none leaves. Every other set is kept as held. `sets-of` answers, for a
handle, every member set holding it that a discovery can find, so a member of a set
that left stays a member while another set holds it. Journals only the members that
entered or left. 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 |