|
CBMC
|
This graph shows which files directly or indirectly include this file: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. More... | |
| 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. More... | |
| template<typename T > | |
| void | as_const (T &&)=delete |
| Deleted to avoid calling as_const on an xvalue. More... | |
|
delete |
Deleted to avoid calling as_const on an xvalue.
| const T& as_const | ( | T & | value | ) |
Return a reference to the same object but ensures the type is const.
Definition at line 14 of file as_const.h.
| const T* as_const_ptr | ( | T * | t | ) |
Return a pointer to the same object but ensures the type is pointer to const.
Definition at line 21 of file as_const.h.