numeric_castt< mp_integer > Struct Reference

Convert expression to mp_integer. More...

#include <arith_tools.h>

Public Member Functions
optionalt< mp_integer >	operator() (const exprt &expr) const
optionalt< mp_integer >	operator() (const constant_exprt &expr) const

Detailed Description

Convert expression to mp_integer.

Definition at line 38 of file arith_tools.h.

Member Function Documentation

operator()() [1/2]

optionalt<mp_integer> numeric_castt< mp_integer >::operator() ( const constant_exprt &  expr ) const

inline

Definition at line 48 of file arith_tools.h.

operator()() [2/2]

optionalt<mp_integer> numeric_castt< mp_integer >::operator() ( const exprt &  expr ) const

inline

Definition at line 40 of file arith_tools.h.

---

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

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