Class Widen.widen_visitor

class widen_visitor : 'a -> Widen_type.t Pervasives.ref -> (Cil_types.stmt list * Cil_datatype.Stmt.Set.t) option -> object .. end
Inherits
val widen_hints : Widen_type.t Pervasives.ref
val enclosing_loop_info : (Cil_types.stmt list * Cil_datatype.Stmt.Set.t) option
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction