SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Generic class to manage settings parsing using boost::program_options. More...
#include <SettingsParser.h>
Private Member Functions | |
SettingsParser () | |
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.
|
private |
Definition at line 9 of file SettingsParser.cpp.