destructt< 0, pointee_baset, Ts... > Struct Template Reference

#include <small_shared_n_way_ptr.h>

Static Public Member Functions
static void	destruct (pointee_baset *p)

Detailed Description

template<typename pointee_baset, typename... Ts>
struct destructt< 0, pointee_baset, Ts... >

Definition at line 58 of file small_shared_n_way_ptr.h.

Member Function Documentation

destruct()

template<typename pointee_baset , typename... Ts>

static void destructt< 0, pointee_baset, Ts... >::destruct ( pointee_baset *  p )

inlinestatic

Definition at line 60 of file small_shared_n_way_ptr.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/small_shared_n_way_ptr.h