SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::parser::Theories::ConstantAdder Struct Reference

Helper functor for addConstants() method. More...

#include <Theories.h>

Public Member Functions

 ConstantAdder (qi::symbols< char, types::ConstType > &constants)
 
template<typename T >
void operator() (T *)
 

Data Fields

qi::symbols< char, types::ConstType > & constants
 

Detailed Description

Helper functor for addConstants() method.

Definition at line 72 of file Theories.h.

Constructor & Destructor Documentation

◆ ConstantAdder()

smtrat::parser::Theories::ConstantAdder::ConstantAdder ( qi::symbols< char, types::ConstType > &  constants)
inline

Definition at line 74 of file Theories.h.

Member Function Documentation

◆ operator()()

template<typename T >
void smtrat::parser::Theories::ConstantAdder::operator() ( T *  )
inline

Definition at line 75 of file Theories.h.

Field Documentation

◆ constants

qi::symbols<char, types::ConstType>& smtrat::parser::Theories::ConstantAdder::constants

Definition at line 73 of file Theories.h.

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