cprover
|
#include <map>
#include <unordered_map>
#include <vector>
#include "invariant.h"
#include "optional.h"
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 > > |
using hash_numbering = template_numberingt<std::unordered_map<Key, std::size_t, Hash> > |
Definition at line 116 of file numbering.h.
using numbering = template_numberingt<std::map<Key, std::size_t> > |
Definition at line 113 of file numbering.h.