class frama_c_refresh : Project.t -> frama_c_visitor
Project.t ->
frama_c_visitor
Similar to Visitor.frama_c_copy, but ids will be refreshed in the copy.
Visitor.frama_c_copy