#include <map>#include <unordered_map>#include <vector>#include "invariant.h"#include "optional.h"
Include dependency graph for numbering.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | template_numberingt< Map > |
Typedefs | |
| template<typename Key > | |
| using | numbering = template_numberingt< std::map< Key, std::size_t > > |
| template<typename Key , typename Hash > | |
| using | hash_numbering = template_numberingt< std::unordered_map< Key, std::size_t, Hash > > |
Typedef Documentation
◆ hash_numbering
template<typename Key , typename Hash >
| using hash_numbering = template_numberingt<std::unordered_map<Key, std::size_t, Hash> > |
Definition at line 117 of file numbering.h.
◆ numbering
template<typename Key >
| using numbering = template_numberingt<std::map<Key, std::size_t> > |
Definition at line 113 of file numbering.h.
