Module PdgTypes.Dpd

module Dpd: sig .. end
Edges label for the Program Dependence Graph.

Dpd stands for 'dependence'. This object is used as a label on the edges of the PDG. There are three kinds of dependencies :



type td = 
| Ctrl
| Addr
| Data
val pretty_td : Format.formatter -> td -> unit
include Datatype.Int
val make : ?a:bool -> ?d:bool -> ?c:bool -> 'a -> int
val bottom : int
val top : int
val is_addr : int -> bool
val is_ctrl : int -> bool
val is_data : int -> bool
val is_dpd : td -> int -> bool
val is_bottom : int -> bool
val adc_value : int -> bool * bool * bool
val combine : int -> int -> int
val inter : int -> int -> int
val intersect : int -> int -> bool
val is_included : int -> int -> bool
val make_simple : td -> int
val add : int -> td -> int
val minus : int -> int -> int
val pretty : Format.formatter -> int -> unit