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 |
optionalt< T > | operator() (const constant_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 60 of file arith_tools.h.
|
inlinestaticprivate |
Definition at line 67 of file arith_tools.h.
|
inlinestaticprivate |
Definition at line 75 of file arith_tools.h.
|
inline |
Definition at line 110 of file arith_tools.h.
|
inline |
Definition at line 101 of file arith_tools.h.
|
inline |
Definition at line 82 of file arith_tools.h.