cprover
numeric_castt< mp_integer > Struct Template Referencefinal

Convert expression to mp_integer. More...

#include <arith_tools.h>

Public Member Functions

optionalt< mp_integeroperator() (const exprt &expr) const
 

Detailed Description

template<>
struct numeric_castt< mp_integer >

Convert expression to mp_integer.

Definition at line 44 of file arith_tools.h.

Member Function Documentation

◆ operator()()

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

Definition at line 46 of file arith_tools.h.

References irept::id(), to_constant_expr(), and to_integer().


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