Class Rewrite.collectCursorIntegers


class collectCursorIntegers : Cilutil.VarinfoComparable.t Cilutil.VarinfoHashtbl.t -> Cilutil.VarinfoSet.t Pervasives.ref -> Cilutil.VarinfoSet.t Pervasives.ref -> object .. end
Inherits
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction