numeric_castt< Target, typename > Struct Template Reference

Numerical cast provides a unified way of converting from one numerical type to another. More...

#include <arith_tools.h>

Detailed Description

template<typename Target, typename = void>
struct numeric_castt< Target, typename >

Numerical cast provides a unified way of converting from one numerical type to another.

Generic case doesn't exist, this has to be specialized for different types.

Definition at line 31 of file arith_tools.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/arith_tools.h