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

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: