|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <format_spec.h>
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 |
|
inline |
|
inlineexplicit |
|
inlinestatic |
|
inlinestatic |
| unsigned format_spect::min_width |
| unsigned format_spect::precision |
| stylet format_spect::style |
| bool format_spect::zero_padding |