cprover
|
#include <format_constant.h>
Public Member Functions | |
std::string | operator() (const exprt &expr) |
![]() | |
format_spect () | |
format_spect (stylet _style) | |
Additional Inherited Members | |
![]() | |
enum | stylet { stylet::DECIMAL, stylet::SCIENTIFIC, stylet::AUTOMATIC } |
![]() | |
static format_spect | scientific () |
static format_spect | automatic () |
![]() | |
unsigned | min_width |
unsigned | precision |
bool | zero_padding |
stylet | style |
Definition at line 19 of file format_constant.h.
std::string format_constantt::operator() | ( | const exprt & | expr | ) |
Definition at line 18 of file format_constant.cpp.
References fixedbvt::format(), ieee_floatt::format(), irept::get_string(), irept::id(), irept::id_string(), integer2string(), exprt::is_constant(), to_constant_expr(), to_integer(), and exprt::type().