Previous  Up  

Functor Dominator.Make_graph

module Make_graph: 
functor (G : I) -> sig .. end
Parameters:
G : I 
include Dominator.S
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 : Dominator.G.t -> dom_tree -> Dominator.G.t
val compute_all : Dominator.G.t -> vertex -> dom_functions

Computes all dominance functions.

This function computes some things eagerly and some lazily, so don't worry about it doing extra work to compute functions you don't need, but also don't call it if you aren't going to use anything it returns.