Class Rewrite.renameEntities


class renameEntities : (Cil_types.varinfo -> unit) -> (Cil_types.logic_var -> unit) -> object .. end
Inherits
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vlogic_var_decl : Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
method vlogic_var_use : Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction