|
cprover
|
Sharing node. More...
#include <list>#include <map>#include <memory>#include <cassert>Go to the source code of this file.
Classes | |
| class | sharing_nodet< keyT, valueT, predT, no_sharing > |
| class | sharing_nodet< keyT, valueT, predT, no_sharing >::dt |
Macros | |
| #define | _sn_assert(b) assert(b) |
Functions | |
| template<class T > | |
| const T * | as_const (T *t) |
Sharing node.
Definition in file sharing_node.h.
| #define _sn_assert | ( | b | ) | assert(b) |
Definition at line 20 of file sharing_node.h.
Referenced by sharing_nodet< key_type, mapped_type, key_equal >::detach(), sharing_nodet< keyT, valueT, predT, no_sharing >::dt::dt(), sharing_mapt< keyT, valueT, hashT, predT >::get_delta_view(), sharing_nodet< key_type, mapped_type, key_equal >::get_key(), sharing_nodet< key_type, mapped_type, key_equal >::get_value(), sharing_mapt< keyT, valueT, hashT, predT >::insert(), sharing_nodet< key_type, mapped_type, key_equal >::is_container(), sharing_nodet< key_type, mapped_type, key_equal >::is_empty(), sharing_nodet< key_type, mapped_type, key_equal >::is_internal(), sharing_nodet< key_type, mapped_type, key_equal >::is_leaf(), sharing_nodet< keyT, valueT, predT, no_sharing >::dt::is_leaf(), sharing_nodet< key_type, mapped_type, key_equal >::place_leaf(), sharing_nodet< key_type, mapped_type, key_equal >::remove_child(), and sharing_nodet< key_type, mapped_type, key_equal >::sharing_nodet().
| const T* as_const | ( | T * | t | ) |
Definition at line 24 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, predT >::erase(), sharing_mapt< keyT, valueT, hashT, predT >::insert(), and sharing_nodet< key_type, mapped_type, key_equal >::place_leaf().