Functor Compute.MakePostDom

module MakePostDom: 
functor (X : MakePostDomArg-> sig .. end
Parameters:
X : MakePostDomArg

module PostDom: Cil_state_builder.Stmt_hashtbl(Compute.DomSet)(sig
val name : string
val dependencies : State.t list
val size : int
end)
module PostComputer: sig .. end
module PostCompute: Dataflow2.Backwards(PostComputer)
val compute_postdom : Kernel_function.t -> unit
val get_stmt_postdominators : Kernel_function.t ->
PostDom.key -> PostDom.data
val stmt_postdominators : Kernel_function.t ->
PostDom.key -> Cil_datatype.Stmt.Hptset.t
val is_postdominator : Kernel_function.t ->
opening:PostDom.key ->
closing:Cil_datatype.Stmt.Hptset.elt -> bool
val display_postdom : unit -> unit
val print_dot_postdom : string -> Kernel_function.t -> unit