module Nset: FCSet.Make
(
CFG.V
)
Set of nodes.
include FCSet.S_Basic_Compare
val min_elt : t -> elt
Return the smallest element of the given set
(with respect to the Ord.compare
ordering), or raise
Not_found
if the set is empty.
val max_elt : t -> elt
Same as , but returns the largest element of the
given set.
val nearest_elt_le : elt -> t -> elt
nearest_elt_le v s
returns the largest element of s
that is
smaller or equal to v
.
Raises Not_found
if no such element exists.
val nearest_elt_ge : elt -> t -> elt
nearest_elt_ge v s
returns the smallest element of s
that is
bigger or equal to v
.
Raises Not_found
if no such element exists.