ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
format_spect Class Reference

#include <format_spec.h>

Inheritance diagram for format_spect:
[legend]

Public Types

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

Member Enumeration Documentation

◆ stylet

Enumerator
DECIMAL 
SCIENTIFIC 
AUTOMATIC 

Constructor & Destructor Documentation

◆ format_spect() [1/2]

format_spect::format_spect ( )
inline

◆ format_spect() [2/2]

format_spect::format_spect ( stylet _style)
inlineexplicit

Member Function Documentation

◆ automatic()

format_spect format_spect::automatic ( )
inlinestatic

◆ scientific()

format_spect format_spect::scientific ( )
inlinestatic

Member Data Documentation

◆ min_width

unsigned format_spect::min_width

◆ precision

unsigned format_spect::precision

◆ style

stylet format_spect::style

◆ zero_padding

bool format_spect::zero_padding

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