Module ChaoticIteration.Make.M

module M: Map.S  with type key = G.V.t
Map used to store the result of the analysis