cprover
Loading...
Searching...
No Matches
format_constantt Class Reference

#include <format_constant.h>

Inheritance diagram for format_constantt:
Collaboration diagram for format_constantt:

Public Member Functions

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

Additional Inherited Members

Public Types inherited from format_spect
enum class  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

Detailed Description

Definition at line 19 of file format_constant.h.

Member Function Documentation

◆ operator()()

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

Definition at line 18 of file format_constant.cpp.


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