CBMC
as_const.h File Reference
+ 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...
 

Function Documentation

◆ as_const() [1/2]

template<typename T >
void as_const ( T &&  )
delete

Deleted to avoid calling as_const on an xvalue.

◆ as_const() [2/2]

template<typename T >
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.

◆ as_const_ptr()

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.

Definition at line 21 of file as_const.h.