Settings for print_statistics. More...
Public Member Functions | |
print_statistics_settings () | |
Default constructor. More... | |
Public Attributes | |
std::string | main_template |
Main Template for statistics output. More... | |
std::string | runtime_template |
Run-time Template for statistics output. More... | |
Settings for print_statistics.
Default constructor.
Initializes default values
std::string main_template |
Main Template for statistics output.
Use
runtime_template
),Default value is: "%1$sGates: %2$d\nLines: %3$d\n"
std::string runtime_template |
Run-time Template for statistics output.
This template will only be generated when a run-time parameter is specified (i.e. not -1) in the print_statistics function.
There is only one placeholder, where you can use the C printf
notation, for example %.2f for 2 digits after the comma.
Default value is: "Runtime: %.2f\n"