CaDiCaL::DeferDeleteArray< T > Struct Template Reference

#include <util.hpp>

Public Member Functions
	DeferDeleteArray (T *t)
	~DeferDeleteArray ()
void	release ()
void	free ()

Public Attributes
T *	data

Detailed Description

template<typename T>
struct CaDiCaL::DeferDeleteArray< T >

Definition at line 125 of file util.hpp.

Constructor & Destructor Documentation

DeferDeleteArray()

template<typename T>

CaDiCaL::DeferDeleteArray< T >::DeferDeleteArray ( T * t )

inline

Definition at line 127 of file util.hpp.

: data (t) {}

~DeferDeleteArray()

template<typename T>

CaDiCaL::DeferDeleteArray< T >::~DeferDeleteArray ( )

inline

Definition at line 128 of file util.hpp.

{ delete[] data; }

Member Function Documentation

free()

template<typename T>

void CaDiCaL::DeferDeleteArray< T >::free ( )

inline

Definition at line 130 of file util.hpp.

               {
    delete[] data;
    data = nullptr;
  }

Here is the caller graph for this function:

release()

template<typename T>

void CaDiCaL::DeferDeleteArray< T >::release ( )

inline

Definition at line 129 of file util.hpp.

{ data = nullptr; }

Here is the caller graph for this function:

Member Data Documentation

data

template<typename T>

T* CaDiCaL::DeferDeleteArray< T >::data

Definition at line 126 of file util.hpp.

---

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

• src/sat/cadical/util.hpp