Go to the documentation of this file.
9 #ifndef CPROVER_UTIL_NUMBERING_H
10 #define CPROVER_UTIL_NUMBERING_H
13 #include <unordered_map>
20 template <
typename Map>
34 using iterator =
typename data_typet::iterator;
43 data_.emplace_back(a);
47 return (result.first)->second;
95 return data_.cbegin();
112 template <
typename Key>
115 template <
typename Key,
typename Hash>
119 #endif // CPROVER_UTIL_NUMBERING_H
typename data_typet::size_type size_type
key_type & operator[](size_type t)
const_iterator cbegin() const
typename data_typet::iterator iterator
optionalt< number_type > get_number(const key_type &a) const
number_type number(const key_type &a)
typename Map::key_type key_type
nonstd::optional< T > optionalt
typename Map::mapped_type number_type
const_iterator begin() const
const key_type & at(size_type t) const
const key_type & operator[](size_type t) const
std::vector< key_type > data_typet
unsignedbv_typet size_type()
const_iterator cend() const
const_iterator end() const
typename data_typet::const_iterator const_iterator