Worklist propagation of joined values through a state space.
Worklist propagation of joined values through a state space.
(propagate space initial-values join {:keys [decode-edge] :as opts})Lazily yields one progress record per processed state, after a first record holding the initial values. queue is the FIFO worklist; pending is the set of states in it, so a waiting state is queued only once.
Lazily yields one progress record per processed state, after a first record holding the initial values. queue is the FIFO worklist; pending is the set of states in it, so a waiting state is queued only once.
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 |