rmf_reservation_msgs
0.0
Message Definitions
ClaimRequest
FixedTimeReservationAlt
FlexibleTimeRequest
FlexibleTimeReservationAlt
FreeParkingSpots
ReleaseRequest
RequestHeader
ReservationAllocation
StartTimeRange
Ticket
Standard Documents
PACKAGE
Index
rmf_reservation_msgs
Message Definitions
Ticket
View page source
Ticket
This is a ROS message definition.
Source
rmf_reservation_msgs
/
RequestHeader
header
uint64
ticket_id