CaDiCaL::DeferDeletePtr< T > Struct Template Reference

#include <util.hpp>

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

Public Attributes
T *	data

Detailed Description

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

Definition at line 136 of file util.hpp.

Constructor & Destructor Documentation

DeferDeletePtr()

template<typename T>

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

inline

Definition at line 138 of file util.hpp.

: data (t) {}

~DeferDeletePtr()

template<typename T>

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

inline

Definition at line 139 of file util.hpp.

{ delete data; }

Member Function Documentation

free()

template<typename T>

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

inline

Definition at line 141 of file util.hpp.

               {
    delete data;
    data = nullptr;
  }

Here is the caller graph for this function:

release()

template<typename T>

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

inline

Definition at line 140 of file util.hpp.

{ data = nullptr; }

Here is the caller graph for this function:

Member Data Documentation

data

template<typename T>

T* CaDiCaL::DeferDeletePtr< T >::data

Definition at line 137 of file util.hpp.

---

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

• src/sat/cadical/util.hpp