Class Data_for_aorai.change_var


class change_var : Cil_datatype.Logic_var.t -> Cil_types.logic_var -> object .. end
Inherits
method vlogic_var_use : Cil_datatype.Logic_var.t -> Cil_types.logic_var Cil.visitAction