CBMC
value_set_fit::object_map_dt Class Reference

#include <value_set_fi.h>

+ Collaboration diagram for value_set_fit::object_map_dt:

Public Types

typedef data_typet::iterator iterator
 
typedef data_typet::const_iterator const_iterator
 
typedef data_typet::value_type value_type
 

Public Member Functions

iterator begin ()
 
const_iterator begin () const
 
const_iterator cbegin () const
 
iterator end ()
 
const_iterator end () const
 
const_iterator cend () const
 
size_t size () const
 
offsettoperator[] (object_numberingt::number_type i)
 
template<typename It >
void insert (It b, It e)
 
template<typename T >
const_iterator find (T &&t) const
 

Static Public Attributes

static const object_map_dt blank {}
 

Protected Member Functions

 ~object_map_dt ()=default
 

Private Types

typedef std::map< object_numberingt::number_type, offsettdata_typet
 

Private Attributes

data_typet data
 

Detailed Description

Definition at line 66 of file value_set_fi.h.

Member Typedef Documentation

◆ const_iterator

typedef data_typet::const_iterator value_set_fit::object_map_dt::const_iterator

Definition at line 75 of file value_set_fi.h.

◆ data_typet

◆ iterator

typedef data_typet::iterator value_set_fit::object_map_dt::iterator

Definition at line 73 of file value_set_fi.h.

◆ value_type

typedef data_typet::value_type value_set_fit::object_map_dt::value_type

Definition at line 77 of file value_set_fi.h.

Constructor & Destructor Documentation

◆ ~object_map_dt()

value_set_fit::object_map_dt::~object_map_dt ( )
protecteddefault

Member Function Documentation

◆ begin() [1/2]

iterator value_set_fit::object_map_dt::begin ( )
inline

Definition at line 79 of file value_set_fi.h.

◆ begin() [2/2]

const_iterator value_set_fit::object_map_dt::begin ( ) const
inline

Definition at line 80 of file value_set_fi.h.

◆ cbegin()

const_iterator value_set_fit::object_map_dt::cbegin ( ) const
inline

Definition at line 81 of file value_set_fi.h.

◆ cend()

const_iterator value_set_fit::object_map_dt::cend ( ) const
inline

Definition at line 85 of file value_set_fi.h.

◆ end() [1/2]

iterator value_set_fit::object_map_dt::end ( )
inline

Definition at line 83 of file value_set_fi.h.

◆ end() [2/2]

const_iterator value_set_fit::object_map_dt::end ( ) const
inline

Definition at line 84 of file value_set_fi.h.

◆ find()

template<typename T >
const_iterator value_set_fit::object_map_dt::find ( T &&  t) const
inline

Definition at line 98 of file value_set_fi.h.

◆ insert()

template<typename It >
void value_set_fit::object_map_dt::insert ( It  b,
It  e 
)
inline

Definition at line 95 of file value_set_fi.h.

◆ operator[]()

offsett& value_set_fit::object_map_dt::operator[] ( object_numberingt::number_type  i)
inline

Definition at line 89 of file value_set_fi.h.

◆ size()

size_t value_set_fit::object_map_dt::size ( ) const
inline

Definition at line 87 of file value_set_fi.h.

Member Data Documentation

◆ blank

const value_set_fit::object_map_dt value_set_fit::object_map_dt::blank {}
static

Definition at line 100 of file value_set_fi.h.

◆ data

data_typet value_set_fit::object_map_dt::data
private

Definition at line 69 of file value_set_fi.h.


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