SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include <SettingsComponents.h>
Public Member Functions | |
void | add (std::function< void(SettingsParser &)> &&f) |
void | add_to_parser (SettingsParser &parser) const |
Private Attributes | |
std::vector< std::function< void(SettingsParser &)> > | mHooks |
Definition at line 12 of file SettingsComponents.h.
|
inline |
Definition at line 16 of file SettingsComponents.h.
|
inline |
Definition at line 19 of file SettingsComponents.h.
|
private |
Definition at line 14 of file SettingsComponents.h.