Class Patch::Participant

Nested Relationships

This class is a nested type of Class Patch.

Class Documentation

class rmf_traffic::schedule::Patch::Participant

Public Functions

Participant(ParticipantId id, ItineraryVersion itinerary_version, Change::Erase erasures, std::vector<Change::Delay> delays, Change::Add additions, std::optional<Change::Progress> progress)

Constructor

Parameters

  • [in] id: The ID of the participant that is being changed

  • [in] itinerary_version: The version of this participant’s itinerary that results from applying this patch

  • [in] erasures: The information about which routes to erase

  • [in] delays: The information about what delays have occurred

  • [in] additions: The information about which routes to add

  • [in] progress: Information about progress that the participant has made since the last change, if any.

ParticipantId participant_id() const

The ID of the participant that this set of changes will patch.

ItineraryVersion itinerary_version() const

The itinerary version that results from this patch.

const Change::Erase &erasures() const

The route erasures to perform.

These erasures should be performed before any other changes.

const std::vector<Change::Delay> &delays() const

The sequence of delays to apply.

These delays should be applied in sequential order after the erasures are performed, and before any additions are performed.

const Change::Add &additions() const

The set of additions to perfom.

These additions should be applied after all other changes.

const std::optional<Change::Progress> &progress() const

Progress that this participant made since the last version, if any.