carl::QuantifierContent< Pol > Struct Template Reference
Stores the variables and the formula bound by a quantifier. More...
#include <FormulaContent.h>
Collaboration diagram for carl::QuantifierContent< Pol >:
Public Member Functions | |
| QuantifierContent (std::vector< carl::Variable > &&_vars, Formula< Pol > &&_formula) | |
| Constructs the content of a quantified formula. More... | |
| bool | operator== (const QuantifierContent &_qc) const |
| Checks this content of a quantified formula and the given content of a quantified formula is equal. More... | |
Data Fields | |
| std::vector< carl::Variable > | mVariables |
| The quantified variables. More... | |
| Formula< Pol > | mFormula |
| The formula bound by this quantifier. More... | |
Detailed Description
template<typename Pol>
struct carl::QuantifierContent< Pol >
Stores the variables and the formula bound by a quantifier.
Definition at line 96 of file FormulaContent.h.
Constructor & Destructor Documentation
◆ QuantifierContent()
template<typename Pol >
|
inline |
Constructs the content of a quantified formula.
- Parameters
-
_vars The quantified variables. _formula The formula bound by this quantifier.
Definition at line 108 of file FormulaContent.h.
Member Function Documentation
◆ operator==()
template<typename Pol >
|
inline |
Checks this content of a quantified formula and the given content of a quantified formula is equal.
- Parameters
-
_qc The content of a quantified formula to check for equality.
- Returns
- true, if this content of a quantified formula and the given content of a quantified formula is equal.
Definition at line 118 of file FormulaContent.h.
Field Documentation
◆ mFormula
template<typename Pol >
| Formula<Pol> carl::QuantifierContent< Pol >::mFormula |
The formula bound by this quantifier.
Definition at line 101 of file FormulaContent.h.
◆ mVariables
template<typename Pol >
| std::vector<carl::Variable> carl::QuantifierContent< Pol >::mVariables |
The quantified variables.
Definition at line 99 of file FormulaContent.h.
The documentation for this struct was generated from the following file:
- carl-formula/formula/FormulaContent.h
