module PostComputer: sig
.. end
val name : string
val debug : bool Pervasives.ref
type
t = Compute.DomSet.t
module StmtStartData: Compute.PostDom
val pretty : Format.formatter -> Compute.DomSet.t -> unit
val combineStmtStartData : 'a -> old:Compute.DomSet.t -> Compute.DomSet.t -> Compute.DomSet.t option
val combineSuccessors : Compute.DomSet.domset -> Compute.DomSet.domset -> Compute.DomSet.domset
val doStmt : Cil_datatype.Stmt.Set.elt -> Compute.DomSet.domset Dataflow.action
val doInstr : 'a -> 'b -> 'c -> 'd Dataflow.action
val filterStmt : 'a -> 'b -> bool
val funcExitData : Compute.DomSet.domset