|
CBMC
|
#include <forward_list>#include <type_traits>#include "small_map.h"#include "as_const.h"#include "invariant.h"#include "make_unique.h"#include "small_shared_n_way_ptr.h"#include "small_shared_ptr.h"
Include dependency graph for sharing_node.h:
This graph shows which files directly or indirectly include this file: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_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 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 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.