numeric_castt< mp_integer > Struct Reference

Convert expression to mp_integer. More...

#include <arith_tools.h>

Public Member Functions
std::optional< mp_integer >	operator() (const exprt &expr) const
std::optional< mp_integer >	operator() (const constant_exprt &expr) const

Detailed Description

Convert expression to mp_integer.

Definition at line 37 of file arith_tools.h.

Member Function Documentation

operator()() [1/2]

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

inline

Definition at line 47 of file arith_tools.h.

operator()() [2/2]

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

inline

Definition at line 39 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