cprover
template_numberingt< Map > Class Template Referencefinal

#include <numbering.h>

+ Inheritance diagram for template_numberingt< Map >:
+ Collaboration diagram for template_numberingt< Map >:

Public Types

using number_type = typename Map::mapped_type
 
using key_type = typename Map::key_type
 
using size_type = typename data_typet::size_type
 
using iterator = typename data_typet::iterator
 
using const_iterator = typename data_typet::const_iterator
 

Public Member Functions

number_type number (const key_type &a)
 
optionalt< number_typeget_number (const key_type &a) const
 
void clear ()
 
size_type size () const
 
const key_typeat (size_type t) const
 
key_typeoperator[] (size_type t)
 
const key_typeoperator[] (size_type t) const
 
iterator begin ()
 
const_iterator begin () const
 
const_iterator cbegin () const
 
iterator end ()
 
const_iterator end () const
 
const_iterator cend () const
 

Private Types

using data_typet = std::vector< key_type >
 

Private Attributes

data_typet data_
 
Map numbers_
 

Detailed Description

template<typename Map>
class template_numberingt< Map >

Template Parameters
Mapa map from a key type to some numeric type

Definition at line 21 of file numbering.h.

Member Typedef Documentation

◆ const_iterator

template<typename Map >
using template_numberingt< Map >::const_iterator = typename data_typet::const_iterator

Definition at line 35 of file numbering.h.

◆ data_typet

template<typename Map >
using template_numberingt< Map >::data_typet = std::vector<key_type>
private

Definition at line 28 of file numbering.h.

◆ iterator

template<typename Map >
using template_numberingt< Map >::iterator = typename data_typet::iterator

Definition at line 34 of file numbering.h.

◆ key_type

template<typename Map >
using template_numberingt< Map >::key_type = typename Map::key_type

Definition at line 25 of file numbering.h.

◆ number_type

template<typename Map >
using template_numberingt< Map >::number_type = typename Map::mapped_type

Definition at line 24 of file numbering.h.

◆ size_type

template<typename Map >
using template_numberingt< Map >::size_type = typename data_typet::size_type

Definition at line 33 of file numbering.h.

Member Function Documentation

◆ at()

template<typename Map >
const key_type& template_numberingt< Map >::at ( size_type  t) const
inline

Definition at line 71 of file numbering.h.

◆ begin() [1/2]

template<typename Map >
iterator template_numberingt< Map >::begin ( )
inline

Definition at line 85 of file numbering.h.

◆ begin() [2/2]

template<typename Map >
const_iterator template_numberingt< Map >::begin ( ) const
inline

Definition at line 89 of file numbering.h.

◆ cbegin()

template<typename Map >
const_iterator template_numberingt< Map >::cbegin ( ) const
inline

Definition at line 93 of file numbering.h.

◆ cend()

template<typename Map >
const_iterator template_numberingt< Map >::cend ( ) const
inline

Definition at line 106 of file numbering.h.

◆ clear()

template<typename Map >
void template_numberingt< Map >::clear ( void  )
inline

Definition at line 60 of file numbering.h.

◆ end() [1/2]

template<typename Map >
iterator template_numberingt< Map >::end ( )
inline

Definition at line 98 of file numbering.h.

◆ end() [2/2]

template<typename Map >
const_iterator template_numberingt< Map >::end ( ) const
inline

Definition at line 102 of file numbering.h.

◆ get_number()

template<typename Map >
optionalt<number_type> template_numberingt< Map >::get_number ( const key_type a) const
inline

Definition at line 50 of file numbering.h.

◆ number()

template<typename Map >
number_type template_numberingt< Map >::number ( const key_type a)
inline

Definition at line 37 of file numbering.h.

◆ operator[]() [1/2]

template<typename Map >
key_type& template_numberingt< Map >::operator[] ( size_type  t)
inline

Definition at line 76 of file numbering.h.

◆ operator[]() [2/2]

template<typename Map >
const key_type& template_numberingt< Map >::operator[] ( size_type  t) const
inline

Definition at line 80 of file numbering.h.

◆ size()

template<typename Map >
size_type template_numberingt< Map >::size ( ) const
inline

Definition at line 66 of file numbering.h.

Member Data Documentation

◆ data_

template<typename Map >
data_typet template_numberingt< Map >::data_
private

Definition at line 29 of file numbering.h.

◆ numbers_

template<typename Map >
Map template_numberingt< Map >::numbers_
private

Definition at line 30 of file numbering.h.


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