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 split : elt -> t -> t * bool * t

split x s returns a triple (l, present, r), where l is the set of elements of s that are strictly less than x; r is the set of elements of s that are strictly greater than x; present is false if s contains no element equal to x, or true if s contains an element equal to x.

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.

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.