Liking cljdoc? Tell your friends :D
knossos.analysis
Shared functions for performing forensic reconstruction of a nonlinearizable history's final moments.
Shared functions for performing forensic reconstruction of a nonlinearizable history's final moments.
extend-pathclj
(extend-path prefix ops)Given a path (a sequence of {:model ... :op} maps) and some operations, applies those operations to extend the path until hitting an inconsistent point.
Given a path (a sequence of {:model ... :op} maps) and some operations,
applies those operations to extend the path until hitting an inconsistent
point.final-paths-for-configclj
(final-paths-for-config prefix final calls)Returns a set of final paths for a specific configuration, given a collection of concurrent calls.
Returns a set of final paths for a specific configuration, given a collection of concurrent calls.
previous-okclj
(previous-ok history op)Given a history and an operation, looks backwards in the history to find the previous ok. Returns nil if there was none.
Given a history and an operation, looks backwards in the history to find the previous ok. Returns nil if there was none.
previous-oksclj
(previous-oks history op)Computes a sequence of operations up to but not including the given operation.
Computes a sequence of operations up to but not including the given operation.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close