Detailed Description

Orders std::shared_ptr<Prioritized> by ascending priority.

Null pointers are treated as DEFAULT_PRIORITY; equal priorities break the tie on the stored address (so equal pointers compare false, satisfying strict-weak).

The documentation for this struct was generated from the following file:

include/commons/prioritized.hpp