<< Map_pair_ptr_t |
| Global_map_iterator_sorted_t >> |
|
This is an iterator for maps. You need to know about this struct when programming in C, since you have to declare such an iterator manually. Map iteration looks like this:
Global_map_iterator_t iter; ... Map_forall (map, iter, key, value) { ... }
The internal structure of this class is not important to the user, however -- you should never try to look inside an iterator structure.