SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::settings::CoreSettings Struct Reference

Core settings. More...

#include <Settings.h>

Collaboration diagram for benchmax::settings::CoreSettings:

Data Fields

bool show_help
 Whether to show the command-line help. More...
 
bool show_settings
 Whether to show the configured settings. More...
 
bool be_verbose
 Whether to be more verbose. More...
 
bool be_quiet
 Whether to be more quiet. More...
 
std::string config_file
 Path of an optional config file. More...
 
long start_time = std::time(nullptr)
 Timestamp the binary was started. More...
 

Detailed Description

Core settings.

Definition at line 28 of file Settings.h.

Field Documentation

◆ be_quiet

bool benchmax::settings::CoreSettings::be_quiet

Whether to be more quiet.

Definition at line 36 of file Settings.h.

◆ be_verbose

bool benchmax::settings::CoreSettings::be_verbose

Whether to be more verbose.

Definition at line 34 of file Settings.h.

◆ config_file

std::string benchmax::settings::CoreSettings::config_file

Path of an optional config file.

Definition at line 38 of file Settings.h.

◆ show_help

bool benchmax::settings::CoreSettings::show_help

Whether to show the command-line help.

Definition at line 30 of file Settings.h.

◆ show_settings

bool benchmax::settings::CoreSettings::show_settings

Whether to show the configured settings.

Definition at line 32 of file Settings.h.

◆ start_time

long benchmax::settings::CoreSettings::start_time = std::time(nullptr)

Timestamp the binary was started.

Definition at line 41 of file Settings.h.


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