Functor Zones.Computer

module Computer: 
functor (Param : sig
val states : Ctx.t
end) -> sig .. end
Parameters:
Param : sig val states : Ctx.t end

val name : string
val debug : bool
val used_stmts : Cil_types.stmt list Pervasives.ref
val add_used_stmt : Cil_types.stmt -> unit
val get_and_reset_used_stmts : unit -> Cil_types.stmt list
type t = Zones.Data.t 
val pretty : Format.formatter -> Locations.Zone.t -> unit
module StmtStartData: sig .. end
val combineStmtStartData : 'a -> old:Locations.Zone.t -> Locations.Zone.t -> Locations.Zone.t option
val combineSuccessors : Locations.Zone.t -> Locations.Zone.t -> Locations.Zone.t
val doStmt : 'a -> 'b Dataflow2.action
val doInstr : Cil_types.stmt ->
Cil_types.instr -> Locations.Zone.t -> Locations.Zone.t Dataflow2.action
val filterStmt : 'a -> 'b -> bool
val funcExitData : Locations.Zone.t