The two relation-algebra operations over masks, as a held namespace
(vaelii.impl.types.prover states what that means): the IRelationOps interface and its
dense and sparse implementations, which vaelii.impl.qcn compiles an algebra into.
The implementations are primitive loops over long[] tables and call no vaelii
namespace, so their methods stay inline.
The two relation-algebra operations over masks, as a held namespace (`vaelii.impl.types.prover` states what that means): the `IRelationOps` interface and its dense and sparse implementations, which `vaelii.impl.qcn` compiles an algebra into. The implementations are primitive loops over `long[]` tables and call no vaelii namespace, so their methods stay inline.
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 |