CBMC
|
Sharing node. More...
#include <forward_list>
#include <functional>
#include <type_traits>
#include "small_map.h"
#include "as_const.h"
#include "invariant.h"
#include "small_shared_n_way_ptr.h"
#include "small_shared_ptr.h"
Go to the source code of this file.
Classes | |
class | d_internalt< keyT, valueT, equalT > |
class | d_containert< keyT, valueT, equalT > |
class | d_leaft< keyT, valueT, equalT > |
class | sharing_nodet< keyT, valueT, equalT > |
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_containert<SN_TYPE_ARGS>, d_leaft<SN_TYPE_ARGS>, d_internalt<SN_TYPE_ARGS> |
Typedefs | |
typedef small_shared_n_way_pointee_baset< 3, unsigned > | d_baset |
Sharing node.
Definition in file sharing_node.h.
#define SN_ASSERT | ( | b | ) |
Definition at line 46 of file sharing_node.h.
#define SN_ASSERT_USE | ( | v, | |
b | |||
) | static_cast<void>(v); |
Definition at line 47 of file sharing_node.h.
#define SN_PTR_TYPE_ARGS d_containert<SN_TYPE_ARGS>, d_leaft<SN_TYPE_ARGS>, d_internalt<SN_TYPE_ARGS> |
Definition at line 61 of file sharing_node.h.
#define SN_SHARE_KEYS 0 |
Definition at line 28 of file sharing_node.h.
#define SN_SMALL_MAP 1 |
Definition at line 24 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 51 of file sharing_node.h.
#define SN_TYPE_PAR_DEF template <typename keyT, typename valueT, typename equalT> |
Definition at line 56 of file sharing_node.h.
typedef small_shared_n_way_pointee_baset<3, unsigned> d_baset |
Definition at line 65 of file sharing_node.h.