The truth-maintenance types, as a held namespace (vaelii.impl.types.prover states what
that means): the Justification record and the dense network's adjacency columns.
The two Tms implementations, RefTms (vaelii.impl.jtms) and DenseTms
(vaelii.impl.dense-jtms), are defined with their methods inline in those namespaces.
TmsColumns is a definterface, so HeapColumns implements it inline, together with
the three posting helpers it calls.
The truth-maintenance types, as a held namespace (`vaelii.impl.types.prover` states what that means): the `Justification` record and the dense network's adjacency columns. The two `Tms` implementations, `RefTms` (`vaelii.impl.jtms`) and `DenseTms` (`vaelii.impl.dense-jtms`), are defined with their methods inline in those namespaces. `TmsColumns` is a `definterface`, so `HeapColumns` implements it inline, together with the three posting helpers it calls.
No vars found in this namespace.
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 |