Module Compute.DomComputer


module DomComputer: sig .. end

val name : string
val debug : bool Pervasives.ref
type t = Compute.DomSet.t 
module StmtStartData: Compute.Dom
val pretty : Format.formatter -> Compute.DomSet.t -> unit
val copy : t -> t
val computeFirstPredecessor : 'a -> 'b -> 'c
val combinePredecessors : Cil_datatype.Stmt.Hptset.elt ->
old:Compute.DomSet.t -> Compute.DomSet.domset -> Compute.DomSet.domset option
val doStmt : 'a -> 'b -> 'c Dataflow.stmtaction
val doInstr : Cil_datatype.Stmt.Hptset.elt ->
'a -> Compute.DomSet.domset -> Compute.DomSet.domset Dataflow.action
val stmt_can_reach : 'a -> 'b -> bool
val filterStmt : 'a -> bool
val doGuard : 'a -> 'b -> 'c -> 'd Dataflow.guardaction * 'e Dataflow.guardaction
val doEdge : 'a -> 'b -> 'c -> 'c