|
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"
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.
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.