jGL
|
#include <memory>
#include <vector>
#include <iterator>
#include <algorithm>
#include <unordered_map>
#include <cstdint>
Go to the source code of this file.
Classes | |
class | PriorityStore< T > |
Store elements in a priority ordering, with identities. More... | |
struct | PriorityStore< T >::Info |
Combine an id and a priority. More... | |
Typedefs | |
typedef std::string | ElementId |
User name for an Element. | |
typedef uint64_t | Priority |
A priority for an element. | |
User name for an Element.
A priority for an element.