CBMC
Loading...
Searching...
No Matches
Classes | Macros | Typedefs
sharing_node.h File Reference

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

 
 
 
 

Macros

#define  SN_SMALL_MAP   1
 
 
 
 
 
 
 
 

Typedefs

 

Detailed Description

Sharing node.

Definition in file sharing_node.h.

Macro Definition Documentation

◆  SN_ASSERT

#define SN_ASSERT (   b )

Definition at line 46 of file sharing_node.h.

◆  SN_ASSERT_USE

#define SN_ASSERT_USE (   v,
  b 
)    static_cast<void>(v);

Definition at line 47 of file sharing_node.h.

◆  SN_PTR_TYPE_ARGS

Definition at line 61 of file sharing_node.h.

◆  SN_SHARE_KEYS

#define SN_SHARE_KEYS   0

Definition at line 28 of file sharing_node.h.

◆  SN_SMALL_MAP

#define SN_SMALL_MAP   1

Definition at line 24 of file sharing_node.h.

◆  SN_TYPE_ARGS

#define SN_TYPE_ARGS   keyT, valueT, equalT

Definition at line 59 of file sharing_node.h.

◆  SN_TYPE_PAR_DECL

#define SN_TYPE_PAR_DECL
Value:
template <typename keyT, \
typename valueT, \
typename equalT = std::equal_to<keyT>>
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:566

Definition at line 51 of file sharing_node.h.

◆  SN_TYPE_PAR_DEF

#define SN_TYPE_PAR_DEF    template <typename keyT, typename valueT, typename equalT>

Definition at line 56 of file sharing_node.h.

Typedef Documentation

◆  d_baset

Definition at line 65 of file sharing_node.h.

AltStyle によって変換されたページ (->オリジナル) /