#include <map_dumpers.h>

Classes | |
| class | PgmHeader |
Public Member Functions | |
| GridMapToPgmDumber (const std::string &base_fname) | |
| void | on_map_update (const GridMapType &map) override |
Static Public Member Functions | |
| static void | dump_map (std::ofstream &os, const GridMapType &map) |
Private Types | |
| using | IntensityType = unsigned char |
Private Attributes | |
| std::string | _base_fname |
| unsigned long long | _id |
Static Private Attributes | |
| static constexpr IntensityType | Max_Intensity = 255 |
Definition at line 14 of file map_dumpers.h.
|
private |
Definition at line 17 of file map_dumpers.h.
|
inline |
Definition at line 54 of file map_dumpers.h.
|
inlinestatic |
Definition at line 66 of file map_dumpers.h.
|
inlineoverridevirtual |
Implements WorldMapObserver< GridMapType >.
Definition at line 58 of file map_dumpers.h.
|
private |
Definition at line 92 of file map_dumpers.h.
|
private |
Definition at line 93 of file map_dumpers.h.
|
staticprivate |
Definition at line 18 of file map_dumpers.h.