CBMC
|
Go to the source code of this file.
Functions | |
template<class mapt , class visitort > | |
bool | visit_map (mapt &map, const visitort &visitor) |
bool visit_map | ( | mapt & | map, |
const visitort & | visitor | ||
) |
Definition at line 12 of file map_visit.h.