Variables
kitti-batch-convert Namespace Reference

Variables

 file_extension
 
 filename
 
string out = filename+'.mm'
 

Variable Documentation

◆ file_extension

kitti-batch-convert.file_extension

Definition at line 6 of file kitti-batch-convert.py.

◆ filename

kitti-batch-convert.filename

Definition at line 6 of file kitti-batch-convert.py.

◆ out

string kitti-batch-convert.out = filename+'.mm'

Definition at line 7 of file kitti-batch-convert.py.



mrpt_local_obstacles
Author(s): Jose-Luis Blanco-Claraco
autogenerated on Mon Aug 14 2023 02:09:05