CBMC
numeric_castt< mp_integer > Struct Referencefinal

Convert expression to mp_integer. More...

#include <arith_tools.h>

Public Member Functions

std::optional< mp_integeroperator() (const exprt &expr) const
 
std::optional< mp_integeroperator() (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: