Module CtrlDpds.S


module S: sig .. end

type t = Cilutil.StmtSet.t 
val empty : Cilutil.StmtSet.t
val singleton : Cilutil.StmtSet.elt -> Cilutil.StmtSet.t
val add : Cilutil.StmtSet.elt -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
val remove : Cilutil.StmtSet.elt -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
val equal : Cilutil.StmtSet.t -> Cilutil.StmtSet.t -> bool
val inter : Cilutil.StmtSet.t -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
val diff : Cilutil.StmtSet.t -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
val union : Cilutil.StmtSet.t -> Cilutil.StmtSet.t -> Cilutil.StmtSet.t
val elements : Cilutil.StmtSet.t -> Cilutil.StmtSet.elt list
val pretty : Format.formatter -> Cilutil.StmtSet.t -> unit