sig
type data_info =
((PdgTypes.Node.t * Locations.Zone.t option) list *
Locations.Zone.t option)
option
type ctrl_info = PdgTypes.Node.t list
type decl_info = PdgTypes.Node.t list
val find_code_annot_nodes :
PdgTypes.Pdg.t ->
Cil_types.stmt ->
Cil_types.code_annotation ->
Annot.ctrl_info * Annot.decl_info * Annot.data_info
val find_fun_precond_nodes :
PdgTypes.Pdg.t ->
Cil_types.predicate -> Annot.decl_info * Annot.data_info
val find_fun_postcond_nodes :
PdgTypes.Pdg.t ->
Cil_types.predicate -> Annot.decl_info * Annot.data_info
val find_fun_variant_nodes :
PdgTypes.Pdg.t -> Cil_types.term -> Annot.decl_info * Annot.data_info
end