#include <format_spec.h>

Inheritance diagram for format_spect:

Public Types
enum	stylet { stylet::DECIMAL, stylet::SCIENTIFIC, stylet::AUTOMATIC }

Public Member Functions
	format_spect ()

	format_spect (stylet _style)

Static Public Member Functions
static format_spect	scientific ()

static format_spect	automatic ()

Public Attributes
unsigned	min_width

unsigned	precision

bool	zero_padding

stylet	style

Detailed Description

Definition at line 15 of file format_spec.h.

Member Enumeration Documentation

◆ stylet

enum format_spect::stylet

strong

Enumerator
DECIMAL
SCIENTIFIC
AUTOMATIC

Definition at line 27 of file format_spec.h.

Constructor & Destructor Documentation

◆ format_spect() [1/2]

format_spect::format_spect ( )

inline

Definition at line 30 of file format_spec.h.

◆ format_spect() [2/2]

format_spect::format_spect ( stylet _style )

inlineexplicit

Definition at line 38 of file format_spec.h.

Member Function Documentation

◆ automatic()

static format_spect format_spect::automatic ( )

inlinestatic

Definition at line 51 of file format_spec.h.

◆ scientific()

static format_spect format_spect::scientific ( )

inlinestatic

Definition at line 46 of file format_spec.h.

Member Data Documentation

◆ min_width

unsigned format_spect::min_width

Definition at line 18 of file format_spec.h.

◆ precision

unsigned format_spect::precision

Definition at line 19 of file format_spec.h.

◆ style

stylet format_spect::style

Definition at line 28 of file format_spec.h.

◆ zero_padding

bool format_spect::zero_padding

Definition at line 20 of file format_spec.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/format_spec.h

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes