Struct Reservation 

pub struct Reservation {
    pub robot_id: RobotId,
    pub resource: ReservableResource,
    pub start_time: SimTime,
    pub end_time: SimTime,
}

A time-windowed reservation of a resource

Fields

robot_id: RobotId

Robot that holds this reservation

resource: ReservableResource

Resource being reserved

start_time: SimTime

Start time of the reservation window

end_time: SimTime

End time of the reservation window

Implementations

impl Reservation

pub fn new( robot_id: RobotId, resource: ReservableResource, start_time: SimTime, end_time: SimTime, ) -> Self

Create a new reservation

pub fn overlaps(&self, start: SimTime, end: SimTime) -> bool

Check if this reservation overlaps with a time window

Trait Implementations

impl Clone for Reservation

fn clone(&self) -> Reservation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Reservation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.