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.t -> Compute.DomSet.t -> Compute.DomSet.t
val doStmt : Cilutil.StmtSet.elt -> Compute.DomSet.t Dataflow.action
val doInstr : 'a -> 'b -> 'c -> 'd Dataflow.action
val filterStmt : 'a -> 'b -> bool
val funcExitData : Compute.DomSet.t