cprover
|
Convert mp_integer or expr to any integral type. More...
#include <arith_tools.h>
Public Member Functions | |
optionalt< T > | operator() (const mp_integer &mpi) const |
optionalt< T > | operator() (const exprt &expr) const |
Static Private Member Functions | |
template<typename U = T, typename std::enable_if< std::is_signed< U >::value, int >::type = 0> | |
static auto | get_val (const mp_integer &mpi) -> decltype(mpi.to_long()) |
template<typename U = T, typename std::enable_if<!std::is_signed< U >::value, int >::type = 0> | |
static auto | get_val (const mp_integer &mpi) -> decltype(mpi.to_ulong()) |
Convert mp_integer or expr to any integral type.
Definition at line 57 of file arith_tools.h.
|
inlinestaticprivate |
Definition at line 64 of file arith_tools.h.
|
inlinestaticprivate |
Definition at line 72 of file arith_tools.h.
|
inline |
Definition at line 79 of file arith_tools.h.
References PRECONDITION.
|
inline |
Definition at line 107 of file arith_tools.h.