carl::AuxQuantifierContent< Pol > Struct Template Reference
#include <FormulaContent.h>
Collaboration diagram for carl::AuxQuantifierContent< Pol >:
Public Member Functions | |
| AuxQuantifierContent (std::vector< carl::Variable > &&_vars, Formula< Pol > &&_aux_formula, Formula< Pol > &&_formula) | |
| bool | operator== (const AuxQuantifierContent &_qc) const |
Data Fields | |
| std::vector< carl::Variable > | mVariables |
| The quantified variables. More... | |
| Formula< Pol > | mAuxFormula |
| The guard. More... | |
| Formula< Pol > | mFormula |
| The formula bound by this quantifier. More... | |
Detailed Description
template<typename Pol>
struct carl::AuxQuantifierContent< Pol >
Definition at line 125 of file FormulaContent.h.
Constructor & Destructor Documentation
◆ AuxQuantifierContent()
template<typename Pol >
|
inline |
Definition at line 134 of file FormulaContent.h.
Member Function Documentation
◆ operator==()
template<typename Pol >
|
inline |
Definition at line 140 of file FormulaContent.h.
Field Documentation
◆ mAuxFormula
template<typename Pol >
| Formula<Pol> carl::AuxQuantifierContent< Pol >::mAuxFormula |
The guard.
Definition at line 130 of file FormulaContent.h.
◆ mFormula
template<typename Pol >
| Formula<Pol> carl::AuxQuantifierContent< Pol >::mFormula |
The formula bound by this quantifier.
Definition at line 132 of file FormulaContent.h.
◆ mVariables
template<typename Pol >
| std::vector<carl::Variable> carl::AuxQuantifierContent< Pol >::mVariables |
The quantified variables.
Definition at line 128 of file FormulaContent.h.
The documentation for this struct was generated from the following file:
- carl-formula/formula/FormulaContent.h
