CBMC
|
Go to the source code of this file.
Functions | |
template<typename T > | |
const T & | as_const (T &value) |
Return a reference to the same object but ensures the type is const. | |
template<typename T > | |
const T * | as_const_ptr (T *t) |
Return a pointer to the same object but ensures the type is pointer to const. | |
template<typename T > | |
void | as_const (T &&)=delete |
Deleted to avoid calling as_const on an xvalue. | |
Return a reference to the same object but ensures the type is const.
Definition at line 14 of file as_const.h.
Return a pointer to the same object but ensures the type is pointer to const.
Definition at line 21 of file as_const.h.