class callableFunctionsVisitor :
object
.. end
Inherits
val mutable callable : Cil_datatype.Varinfo.Set.t
val mutable initializers : (Cil_datatype.Varinfo.Hashtbl.key * Cil_types.init) list
method initializers : (Cil_datatype.Varinfo.Hashtbl.key * Cil_types.init) list
val visited : unit Cil_datatype.Varinfo.Hashtbl.t
val todo : Cil_datatype.Varinfo.Hashtbl.key Stack.t
method already_seen : Cil_datatype.Varinfo.Hashtbl.key -> bool
method vvrbl : Cil_datatype.Varinfo.Hashtbl.key -> Cil_types.varinfo Cil.visitAction
method visit_non_function_var : Cil_datatype.Varinfo.Hashtbl.key -> Cil_types.init option
method compute : Cil_datatype.Varinfo.Hashtbl.key -> Cil_datatype.Varinfo.Set.t