Module Dominator.Make_graph

Parameters

module G : I

Signature

type t = G.t
type vertex = G.V.t
module S : sig ... end
type idom = vertex -> vertex
type idoms = vertex -> vertex -> bool
type dom_tree = vertex -> vertex list
type dominators = vertex -> vertex list
type dom = vertex -> vertex -> bool
type sdom = vertex -> vertex -> bool
type dom_frontier = vertex -> vertex list
val compute_idom : t -> vertex -> vertex -> vertex
val dominators_to_dom : ('a -> S.t) -> vertex -> 'a -> bool
val dominators_to_sdom : (vertex -> S.t) -> vertex -> vertex -> bool
val dom_to_sdom : (vertex -> vertex -> bool) -> vertex -> vertex -> bool
val dominators_to_sdominators : (vertex -> S.t) -> vertex -> S.t
val dominators_to_idoms : (vertex -> S.t) -> vertex -> vertex -> bool
val dominators_to_dom_tree : t -> ?⁠pred:(t -> vertex -> vertex list) -> (vertex -> S.t) -> vertex -> S.t
val idom_to_dom_tree : t -> (vertex -> vertex) -> vertex -> vertex list
val idom_to_idoms : idom -> vertex -> vertex -> bool
val compute_dom_frontier : t -> dom_tree -> idom -> vertex -> vertex list
val idom_to_dominators : ('a -> 'a) -> 'a -> 'a list
val idom_to_dom : (vertex -> vertex) -> vertex -> vertex -> bool
type dom_graph = unit -> t
type dom_functions = {
idom : idom;
idoms : idoms;
dom_tree : dom_tree;
dominators : dominators;
dom : dom;
sdom : sdom;
dom_frontier : dom_frontier;
dom_graph : dom_graph;
}
val compute_dom_graph : G.t -> dom_tree -> G.t
val compute_all : G.t -> vertex -> dom_functions