Module Binsec_base.WorklistSource

Worklist / Work queue implementation

Sourcemodule type S = sig ... end

Functors

Sourcemodule Make (X : Sigs.COMPARABLE) : S with type elt = X.t

Priority queues over comparable types

Sourcemodule CMake (X : Sigs.ANY) : sig ... end

Priority queues with generated comparison function. Added benefit: insertion at the front/rear can be guaranteed. Culprit: does not behave as a set (i.e. the same element of X.t w.r.t to = can be inserted twice in the queue).