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. Writes nothing when ngs is empty and nothing
is held.
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. Writes nothing when `ngs` is empty and nothing is held.
(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 |