cprover
|
Convert expression to mp_integer. More...
#include <arith_tools.h>
Public Member Functions | |
optionalt< mp_integer > | operator() (const exprt &expr) const |
Convert expression to mp_integer.
Definition at line 44 of file arith_tools.h.
|
inline |
Definition at line 46 of file arith_tools.h.
References irept::id(), to_constant_expr(), and to_integer().