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

#include <SettingsComponents.h>

Inheritance diagram for smtrat::SettingsComponents:
Collaboration diagram for smtrat::SettingsComponents:

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
 

Detailed Description

Definition at line 12 of file SettingsComponents.h.

Member Function Documentation

◆ add()

void smtrat::SettingsComponents::add ( std::function< void(SettingsParser &)> &&  f)
inline

Definition at line 16 of file SettingsComponents.h.

◆ add_to_parser()

void smtrat::SettingsComponents::add_to_parser ( SettingsParser parser) const
inline

Definition at line 19 of file SettingsComponents.h.

Field Documentation

◆ mHooks

std::vector<std::function<void(SettingsParser&)> > smtrat::SettingsComponents::mHooks
private

Definition at line 14 of file SettingsComponents.h.


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