![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Generic class to manage runtime settings. More...
#include <Settings.h>
Private Member Functions | |
Settings () | |
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.
|
inlineprivate |
Definition at line 65 of file Settings.h.