Functor CtrlDpds.Computer


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

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