The declarations over related types: a disjoint over two types one reaches the other
of through genl, a cover naming a part a disjoint separates from its whole, and an
orthogonal over two types a genl edge or a separation contradicts. See
docs/reference.md, decision 8.
The declarations over related types: a `disjoint` over two types one reaches the other of through `genl`, a cover naming a part a `disjoint` separates from its whole, and an `orthogonal` over two types a `genl` edge or a separation contradicts. See docs/reference.md, decision 8.
(exempt-at? w recs members up)Does a reader with ancestor set up read no conviction of the orthogonal nogood
members: one declaration over two distinct types no genl edge relates over the
unscoped closure (w, decide/write-view) and tax/disjoint? over up does not
separate. A siblingDisjointException the reader sees removes a mark separation its
placement reads, as for a membership nogood (membership/exempt-at?). False for any
other nogood.
Does a reader with ancestor set `up` read no conviction of the `orthogonal` nogood `members`: one declaration over two distinct types no `genl` edge relates over the unscoped closure (`w`, `decide/write-view`) and `tax/disjoint?` over `up` does not separate. A `siblingDisjointException` the reader sees removes a mark separation its placement reads, as for a membership nogood (`membership/exempt-at?`). False for any other nogood.
The related-types family's entry in decide/registry. It keeps no stored declaration:
recover reads the cover pairs off the cover extents (every-pair) and leaves
::genl-seen unread, so the first read reads every declaration (sync-related). Each
nogood of it is placed as a conclusion (chain/place-related!).
The related-types family's entry in `decide/registry`. It keeps no stored declaration: recover reads the cover pairs off the cover extents (`every-pair`) and leaves `::genl-seen` unread, so the first read reads every declaration (`sync-related`). Each nogood of it is placed as a conclusion (`chain/place-related!`).
(kind-of w recs ms)The kind of the related-types nogood over the member handles ms, read off their
sentences through the write view w: :disjoint for one disjoint, :orthogonal for
one fact stating an orthogonal (orthogonal-args), :cover for a cover beside a
disjoint, else nil.
The kind of the related-types nogood over the member handles `ms`, read off their sentences through the write view `w`: `:disjoint` for one `disjoint`, `:orthogonal` for one fact stating an `orthogonal` (`orthogonal-args`), `:cover` for a cover beside a `disjoint`, else nil.
(moved? c)Has the index queued a declaration whose nogoods the settle places again
(take-moved!)?
Has the index queued a declaration whose nogoods the settle places again (`take-moved!`)?
(nogoods-holding c h)The related-types nogoods the candidate index c keeps with the declaration h among
their members, each {:members #{h} :kind k}: a disjoint of :related-dj, kind
:disjoint; each cover pair holding h, kind :cover; and an orthogonal of
:related-orth, kind :orthogonal.
The related-types nogoods the candidate index `c` keeps with the declaration `h` among
their members, each `{:members #{h} :kind k}`: a `disjoint` of `:related-dj`, kind
`:disjoint`; each cover pair holding `h`, kind `:cover`; and an `orthogonal` of
`:related-orth`, kind `:orthogonal`.(orthogonals? kb w)Does the store hold a fact of orthogonal or of a predicate under it, which a
separation declaration the settle relabels can contradict (reread-separated!)?
Count reads.
Does the store hold a fact of `orthogonal` or of a predicate under it, which a separation declaration the settle relabels can contradict (`reread-separated!`)? Count reads.
(reread-separated! kb w ends)Read again whether each stored orthogonal with an argument at or below one of the
types ends is contradicted somewhere, and return those contradicted before or after:
the ones whose routes a separation over ends moving can move. The settle calls this
for the separation declarations it relabels (chain/place-related!).
Read again whether each stored `orthogonal` with an argument at or below one of the types `ends` is contradicted somewhere, and return those contradicted before or after: the ones whose routes a separation over `ends` moving can move. The settle calls this for the separation declarations it relabels (`chain/place-related!`).
(routes w recs {:keys [members kind]})Each way the unscoped taxonomy convicts the related-types nogood ng, as
{:links [[sub super]] :keys #{k} :pair [x y]} (tax/separation-routes' shape): a
disjoint over a and b, the subsumption between them in each direction the
closure holds; a cover pair, none; an orthogonal over one type twice, none, and
otherwise the subsumption between the two in each direction the closure holds and
each separation of the two (tax/separation-routes). A fact whose functor f is a
genl of orthogonal adds the subsumption f to orthogonal to each route. w is
decide/write-view's.
Each way the unscoped taxonomy convicts the related-types nogood `ng`, as
`{:links [[sub super]] :keys #{k} :pair [x y]}` (`tax/separation-routes`' shape): a
`disjoint` over `a` and `b`, the subsumption between them in each direction the
closure holds; a cover pair, none; an `orthogonal` over one type twice, none, and
otherwise the subsumption between the two in each direction the closure holds and
each separation of the two (`tax/separation-routes`). A fact whose functor `f` is a
`genl` of `orthogonal` adds the subsumption `f` to `orthogonal` to each route. `w` is
`decide/write-view`'s.(take-moved! kb)The declarations whose related-types nogoods moved since the last call, and the queue
emptied (noted).
The declarations whose related-types nogoods moved since the last call, and the queue emptied (`noted`).
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 |