class rewriteCursorIntegers :InheritsCil_types.varinfo Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoSet.t ->
object
..end
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vspec : Cil_types.funspec -> Cil_types.funspec Cil.visitAction