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().