Module CtrlDpds.State


module State: sig .. end

type t = CtrlDpds.t_info 
val inter : CtrlDpds.t_info -> CtrlDpds.t_info -> CtrlDpds.t_info
val equal : CtrlDpds.t_info -> CtrlDpds.t_info -> bool
val add : Cilutil.StmtSet.elt -> CtrlDpds.t_info -> CtrlDpds.t_info
val pretty : Format.formatter -> CtrlDpds.t_info -> unit