Module Cil2cfg.Eset

module Eset: FCSet.S  with type elt = edge

set of edges

Set of edges.

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.