Functor CfgLib.Labels

module Labels: 
functor (C : CfgTypes.Cfg) ->
functor (H : Hashtbl.S) -> sig .. end
Parameters:
C : CfgTypes.Cfg
H : Hashtbl.S

type t = C.cfg * C.node H.t 
type label = H.key 
val create : ?size:int -> 'a -> 'a * 'b H.t
val set_label : 'a * 'b H.t -> H.key -> 'b -> unit
Register the label to points to the given node.
val label : C.cfg * C.node H.t -> H.key -> C.node
Retrieve (or create) the node associated to the label.
val iter : (H.key -> 'a -> unit) -> 'b * 'a H.t -> unit