Module Std.Frontier

Frontier maps each node into a possibly empty set of nodes. This is used for representing dominance and post-dominance frontiers.

type 'a t = 'a frontier
val enum : 'a t -> 'a -> 'a Regular.Std.seq

enum f x enumerates frontier of x

val mem : 'a t -> 'a -> 'a -> bool

mem f x y is true if y is in a frontier of x

val to_sequence : 'a t -> 'a Regular.Std.seq

to_sequence frontier enumerates all elements of a frontier

pp pp_elt instantiates a pretty-printer for a given element. See Tree.pp for more information.