class retypeAddressTaken :
object
.. end
Inherits
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vspec : Cil_types.funspec -> Cil_types.funspec Cil.visitAction
method vlogic_var_use : Cilutil.LogicVarSet.elt -> Cil_types.logic_var Cil.visitAction
method vlogic_var_decl : Cilutil.LogicVarSet.elt -> Cil_types.logic_var 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