Class Variables_analysis.logic_parameters_and_addr_taken_collection

class logic_parameters_and_addr_taken_collection : ( object
Inherits

method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction
method vannotation : Cil_types.global_annotation -> Cil_types.global_annotation Cil.visitAction
end : object ... end )
Inherits
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction
method vannotation : Cil_types.global_annotation -> Cil_types.global_annotation Cil.visitAction