Class Reachingdefs.rdVisitorClass

class rdVisitorClass : object .. end
Inherits
val mutable rd_dat_lst : (unit * int * IOS.t IH.t) list
val mutable cur_rd_dat : (unit * int * IOS.t IH.t) option
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method get_cur_iosh : unit -> IOS.t IH.t option