Typedef rmf_traffic::schedule::ParticipantId¶
Defined in File ParticipantDescription.hpp
Typedef Documentation¶
-
using
rmf_traffic::schedule
::
ParticipantId
= uint64_t¶
Defined in File ParticipantDescription.hpp
rmf_traffic::schedule::
ParticipantId
= uint64_t¶