cprover
|
Sharing node. More...
#include <forward_list>
#include <type_traits>
#include "small_map.h"
#include "invariant.h"
#include "make_unique.h"
#include "small_shared_ptr.h"
#include "small_shared_two_way_ptr.h"
Go to the source code of this file.
Macros | |
#define | SN_SMALL_MAP 1 |
#define | SN_SHARE_KEYS 0 |
#define | SN_ASSERT(b) |
#define | SN_ASSERT_USE(v, b) static_cast<void>(v); |
#define | SN_TYPE_PAR_DECL |
#define | SN_TYPE_PAR_DEF template <typename keyT, typename valueT, typename equalT> |
#define | SN_TYPE_ARGS keyT, valueT, equalT |
#define | SN_PTR_TYPE_ARGS d_internalt<SN_TYPE_ARGS>, d_containert<SN_TYPE_ARGS> |
#define | SN_PTR_TYPE_ARG d_leaft<SN_TYPE_ARGS> |
Typedefs | |
typedef small_shared_two_way_pointeet< unsigned > | d_baset |
Functions | |
template<class T > | |
const T * | as_const (T *t) |
Sharing node.
Definition in file sharing_node.h.
#define SN_ASSERT | ( | b | ) |
Definition at line 45 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::add_child(), sharing_node_innert< key_type, mapped_type >::find_child(), sharing_node_innert< key_type, mapped_type >::find_leaf(), sharing_node_leaft< keyT, valueT, equalT >::get_key(), sharing_node_leaft< keyT, valueT, equalT >::get_value(), sharing_node_innert< key_type, mapped_type >::place_leaf(), sharing_node_innert< key_type, mapped_type >::read_container(), sharing_node_innert< key_type, mapped_type >::read_internal(), sharing_node_innert< key_type, mapped_type >::remove_child(), sharing_node_innert< key_type, mapped_type >::remove_leaf(), sharing_node_leaft< keyT, valueT, equalT >::sharing_node_leaft(), sharing_node_leaft< keyT, valueT, equalT >::write(), sharing_node_innert< key_type, mapped_type >::write_container(), and sharing_node_innert< key_type, mapped_type >::write_internal().
#define SN_ASSERT_USE | ( | v, | |
b | |||
) | static_cast<void>(v); |
Definition at line 46 of file sharing_node.h.
Referenced by sharing_node_innert< key_type, mapped_type >::remove_child().
#define SN_PTR_TYPE_ARG d_leaft<SN_TYPE_ARGS> |
Definition at line 63 of file sharing_node.h.
#define SN_PTR_TYPE_ARGS d_internalt<SN_TYPE_ARGS>, d_containert<SN_TYPE_ARGS> |
Definition at line 61 of file sharing_node.h.
#define SN_SHARE_KEYS 0 |
Definition at line 27 of file sharing_node.h.
#define SN_SMALL_MAP 1 |
Definition at line 23 of file sharing_node.h.
#define SN_TYPE_ARGS keyT, valueT, equalT |
Definition at line 59 of file sharing_node.h.
#define SN_TYPE_PAR_DECL |
Definition at line 50 of file sharing_node.h.
#define SN_TYPE_PAR_DEF template <typename keyT, typename valueT, typename equalT> |
Definition at line 55 of file sharing_node.h.
typedef small_shared_two_way_pointeet<unsigned> d_baset |
Definition at line 73 of file sharing_node.h.
const T* as_const | ( | T * | t | ) |
Definition at line 66 of file sharing_node.h.
Referenced by sharing_mapt< keyT, valueT, hashT, equalT >::erase(), sharing_mapt< keyT, valueT, hashT, equalT >::insert(), and sharing_node_innert< key_type, mapped_type >::place_leaf().