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	stylet { stylet::DECIMAL, stylet::SCIENTIFIC, stylet::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

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:

/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/format_constant.h
/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/format_constant.cpp