cprover
Loading...
Searching...
No Matches
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.