#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.