module PdgPostdom:sig
..end
typet =
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