destructt< I, 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<std::size_t I, typename pointee_baset, typename... Ts>
struct destructt< I, pointee_baset, Ts >

Definition at line 37 of file small_shared_n_way_ptr.h.

Member Function Documentation

destruct()

template<std::size_t I, typename pointee_baset , typename... Ts>

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

inlinestatic

Definition at line 39 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