CBMC
make_unique.h File Reference
#include <memory>
+ Include dependency graph for make_unique.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

template<typename T , typename... Ts>
std::unique_ptr< T > util_make_unique (Ts &&... ts)
 

Function Documentation

◆ util_make_unique()

template<typename T , typename... Ts>
std::unique_ptr<T> util_make_unique ( Ts &&...  ts)

Definition at line 19 of file make_unique.h.