sig
type t = PdgTypes.Pdg.t
type t_index = (PdgTypes.Node.t, unit) PdgIndex.FctIndex.t
val get_index : t -> t_index
val make :
Kernel_function.t ->
PdgTypes.G.t -> PdgTypes.t_data_state Inthash.t -> t_index -> t
val get_states : t -> PdgTypes.t_data_state Inthash.t
val get_graph : t -> PdgTypes.G.t
end