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 > |
Typedefs | |
typedef small_shared_n_way_pointee_baset< 3, unsigned > | d_baset |
Sharing node.
Definition in file sharing_node.h.
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_PAR_DECL |
Definition at line 56 of file sharing_node.h.
Definition at line 65 of file sharing_node.h.