CBMC: /home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/map_visit.h File Reference

CBMC

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.