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

#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_typek
 
const mapped_typem
 
const mapped_typeother_m
 

Detailed Description

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

Definition at line 259 of file sharing_map.h.

Constructor & Destructor Documentation

◆ delta_view_itemt()

template<class keyT , class valueT , class hashT = std::hash<keyT>, class equalT = std::equal_to<keyT>>
sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::delta_view_itemt ( const bool  in_both,
const key_type k,
const mapped_type m,
const mapped_type other_m 
)
inline

Definition at line 262 of file sharing_map.h.

Member Data Documentation

◆ in_both

template<class keyT , class valueT , class hashT = std::hash<keyT>, class equalT = std::equal_to<keyT>>
const bool sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::in_both

Definition at line 274 of file sharing_map.h.

◆ k

template<class keyT , class valueT , class hashT = std::hash<keyT>, class equalT = std::equal_to<keyT>>
const key_type& sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::k

Definition at line 276 of file sharing_map.h.

◆ m

template<class keyT , class valueT , class hashT = std::hash<keyT>, class equalT = std::equal_to<keyT>>
const mapped_type& sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::m

Definition at line 278 of file sharing_map.h.

◆ other_m

template<class keyT , class valueT , class hashT = std::hash<keyT>, class equalT = std::equal_to<keyT>>
const mapped_type& sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt::other_m

Definition at line 279 of file sharing_map.h.


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