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

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

#include <Theories.h>

Public Member Functions

 SimpleSortAdder (qi::symbols< char, carl::Sort > &sorts)
 
template<typename T >
void operator() (T *)
 

Data Fields

qi::symbols< char, carl::Sort > & sorts
 

Detailed Description

Helper functor for addSimpleSorts() method.

Definition at line 89 of file Theories.h.

Constructor & Destructor Documentation

◆ SimpleSortAdder()

smtrat::parser::Theories::SimpleSortAdder::SimpleSortAdder ( qi::symbols< char, carl::Sort > &  sorts)
inline

Definition at line 91 of file Theories.h.

Member Function Documentation

◆ operator()()

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

Definition at line 92 of file Theories.h.

Field Documentation

◆ sorts

qi::symbols<char, carl::Sort>& smtrat::parser::Theories::SimpleSortAdder::sorts

Definition at line 90 of file Theories.h.

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