moveit_task_constructor/msgs/msg/TaskStatistics.msg
Robert Haschke b071a059f9 Rename TaskPrivate::id -> TaskPrivate::ns
TaskPrivate's id_ actually served as a namespace parameter.
2020-10-24 04:43:30 +02:00

6 lines
129 B
Plaintext

# unique id of generating task
string process_id
# list of all stages, including the task stage itself
StageStatistics[] stages