Module CtrlDpds.PdgPostdom

module PdgPostdom: sig .. end
Postdominators (with infine path extension)

type t = State.t Cil_datatype.Stmt.Hashtbl.t 
val compute : Kernel_function.t -> State.t Cil_datatype.Stmt.Hashtbl.t
val get : State.t Cil_datatype.Stmt.Hashtbl.t ->
with_s:bool ->
Cil_datatype.Stmt.Hashtbl.key -> bool * Cil_datatype.Stmt.Hptset.t