Functor ChaoticIteration.Make

module Make: 
functor (G : G) ->
functor (D : Data with type edge = G.E.t) -> sig .. end
Parameters:
G : G
D : Data with type edge = G.E.t

module M: Map.S  with type key = G.V.t

Map used to store the result of the analysis

val recurse : ChaoticIteration.G.t ->
G.V.t WeakTopological.t ->
(G.V.t -> D.t) ->
G.V.t ChaoticIteration.widening_set -> int -> D.t M.t

recurse g wto init widening_set widening_delay computes the fixpoint of the analysis of a graph. This function uses the recursive iteration strategy: it recursively stabilizes the subcomponents of every component every time the component is stabilized (cf. Bourdoncle's paper).