SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::SettingsParser Class Reference

Generic class to manage settings parsing using boost::program_options. More...

#include <SettingsParser.h>

Inheritance diagram for benchmax::SettingsParser:
Collaboration diagram for benchmax::SettingsParser:

Private Member Functions

 SettingsParser ()
 

Detailed Description

Generic class to manage settings parsing using boost::program_options.

Allows to register dynamically add new options_description object and manages parsing them from command line and config file. When everything is registed finalize() has to be called to construct the full option description.

Definition at line 15 of file SettingsParser.h.

Constructor & Destructor Documentation

◆ SettingsParser()

benchmax::SettingsParser::SettingsParser ( )
private

Definition at line 9 of file SettingsParser.cpp.


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