Home Original page

CBMC: format_spect Class Reference

#include <format_spec.h>

Public Attributes

unsigned min_width
 
unsigned precision
 
bool zero_padding
 
stylet style
 

Definition at line 15 of file format_spec.h.

◆ stylet

Enumerator
DECIMAL 
SCIENTIFIC 
AUTOMATIC 

Definition at line 27 of file format_spec.h.

format_spect::format_spect ( )
inline

◆ format_spect() [2/2]

format_spect::format_spect ( stylet  _style)
inlineexplicit

◆ automatic()

◆ scientific()

◆ min_width

◆ precision

◆ style

◆ zero_padding

bool format_spect::zero_padding

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