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

Generic class to manage runtime settings. More...

#include <Settings.h>

Inheritance diagram for benchmax::settings::Settings:
Collaboration diagram for benchmax::settings::Settings:

Private Member Functions

 Settings ()
 

Detailed Description

Generic class to manage runtime settings.

Essentially stores all (named) settings in a map<string,any> and retrieves settings classes when requested.

Definition at line 62 of file Settings.h.

Constructor & Destructor Documentation

◆ Settings()

benchmax::settings::Settings::Settings ( )
inlineprivate

Definition at line 65 of file Settings.h.


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