aeVisitorClass (p.goblint-cil.1.8.2.doc.goblint-cil.zrapp.Availexpslv.aeVisitorClass)

inherit Cil.nopCilVisitor

val mutable sid : int

val mutable ae_dat_lst : Cil.exp LvExpHash.t list

val mutable cur_ae_dat : Cil.exp LvExpHash.t option

method vstmt : Cil.stmt -> Cil.stmt Cil.visitAction

method vinst : Cil.instr -> Cil.instr list Cil.visitAction

method get_cur_eh : unit -> Cil.exp LvExpHash.t option