CBMC
map_visit.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

template<class mapt , class visitort >
bool visit_map (mapt &map, const visitort &visitor)
 

Function Documentation

◆ visit_map()

template<class mapt , class visitort >
bool visit_map ( mapt &  map,
const visitort &  visitor 
)

Definition at line 12 of file map_visit.h.