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
offsett &	operator[] (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, offsett >	data_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

typedef std::map<object_numberingt::number_type, offsett> value_set_fit::object_map_dt::data_typet

private

Definition at line 68 of file value_set_fi.h.

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:

• /home/runner/work/cbmc/cbmc/src/pointer-analysis/value_set_fi.h
• /home/runner/work/cbmc/cbmc/src/pointer-analysis/value_set_fi.cpp