ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
format_constantt Class Reference

#include <format_constant.h>

Inheritance diagram for format_constantt:
[legend]

Public Member Functions

std::string operator() (const expr2tc &expr)
Public Member Functions inherited from format_spect
 format_spect ()
 format_spect (stylet _style)

Additional Inherited Members

Public Types inherited from format_spect
enum  stylet { DECIMAL , SCIENTIFIC , AUTOMATIC }
Static Public Member Functions inherited from format_spect
static format_spect scientific ()
static format_spect automatic ()
Public Attributes inherited from format_spect
unsigned min_width
unsigned precision
bool zero_padding
stylet style

Member Function Documentation

◆ operator()()

std::string format_constantt::operator() ( const expr2tc & expr)

The documentation for this class was generated from the following files: