cprover
|
#include <sharing_map.h>
Public Member Functions | |
delta_view_itemt (const bool in_both, const key_type &k, const mapped_type &m, const mapped_type &other_m) | |
Public Attributes | |
const bool | in_both |
const key_type & | k |
const mapped_type & | m |
const mapped_type & | other_m |
Definition at line 260 of file sharing_map.h.
|
inline |
Definition at line 263 of file sharing_map.h.
const bool sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::in_both |
Definition at line 275 of file sharing_map.h.
const key_type& sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::k |
Definition at line 277 of file sharing_map.h.
const mapped_type& sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::m |
Definition at line 279 of file sharing_map.h.
const mapped_type& sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::other_m |
Definition at line 280 of file sharing_map.h.