sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt Class Reference

#include <sharing_map.h>

Public Member Functions
	delta_view_itemt (const key_type &k, const mapped_type &m, const mapped_type &other_m)
	delta_view_itemt (const key_type &k, const mapped_type &m)
bool	is_in_both_maps () const
const mapped_type &	get_other_map_value () const

Public Attributes
const key_type &	k
const mapped_type &	m

Private Attributes
const mapped_type *	other_m

Detailed Description

template<typename keyT, typename valueT, bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>
class sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt

Definition at line 401 of file sharing_map.h.

Constructor & Destructor Documentation

delta_view_itemt() [1/2]

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>

sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt::delta_view_itemt ( const key_type &  k, const mapped_type &  m, const mapped_type &  other_m  )

inline

Definition at line 404 of file sharing_map.h.

delta_view_itemt() [2/2]

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>

sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt::delta_view_itemt ( const key_type &  k, const mapped_type &  m  )

inline

Definition at line 412 of file sharing_map.h.

Member Function Documentation

get_other_map_value()

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>

const mapped_type& sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt::get_other_map_value ( ) const

inline

Definition at line 426 of file sharing_map.h.

is_in_both_maps()

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>

bool sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt::is_in_both_maps ( ) const

inline

Definition at line 421 of file sharing_map.h.

Member Data Documentation

k

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>

const key_type& sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt::k

Definition at line 417 of file sharing_map.h.

m

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>

const mapped_type& sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt::m

Definition at line 419 of file sharing_map.h.

other_m

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>

const mapped_type* sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt::other_m

private

Definition at line 433 of file sharing_map.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/sharing_map.h