20 #ifndef SPOT_MISC_UNIQUE_PTR_HH
21 # define SPOT_MISC_UNIQUE_PTR_HH
31 typedef const T* const_pointer;
68 ptr_ = non_const_up.ptr_;
69 non_const_up.ptr_ = 0;
73 template <
typename V>
friend unique_ptr<V> make_unique(V* ptr);
88 #endif // !SPOT_MISC_UNIQUE_PTR_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
Take ownership of a pointer at its construction, and destroy it at the end of the scope...
Definition: unique_ptr.hh:28
unique_ptr< T > make_unique(T *ptr)
Change a pointer into a unique_ptr.
Definition: unique_ptr.hh:81