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 174 of file sharing_map.h.
|
inline |
Definition at line 177 of file sharing_map.h.
const bool sharing_mapt< keyT, valueT, hashT, predT >::delta_view_itemt::in_both |
Definition at line 189 of file sharing_map.h.
const key_type& sharing_mapt< keyT, valueT, hashT, predT >::delta_view_itemt::k |
Definition at line 191 of file sharing_map.h.
const mapped_type& sharing_mapt< keyT, valueT, hashT, predT >::delta_view_itemt::m |
Definition at line 193 of file sharing_map.h.
const mapped_type& sharing_mapt< keyT, valueT, hashT, predT >::delta_view_itemt::other_m |
Definition at line 194 of file sharing_map.h.