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