Class Norm.retypeStructVariables


class retypeStructVariables : object .. end
Inherits
method vvdec : Cilutil.VarinfoSet.elt -> Cil_types.varinfo Cil.visitAction
method vquantifiers : Cil_types.quantifiers -> Cil_types.quantifiers Cil.visitAction
method vlogic_var_decl : Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
method vterm_lval : Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction