Scale grid maps. More...
Scale grid maps.
The mapscale driver reads a occupancy grid map from another map device and scales it to produce a new map with a different resolution. The scaling is accomplished with the gdk_pixbuf_scale_simple() function, using the GDK_INTERP_HYPER algorithm.
driver ( name "mapfile" provides ["map:0"] filename "mymap.pgm" resolution 0.1 # 10cm per pixel ) driver ( name "mapscale" requires ["map:0"] # read from map:0 provides ["map:1"] # output scaled map on map:1 resolution 0.5 # scale to 50cm per pixel )