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

#include <ExpressionContent.h>

Collaboration diagram for smtrat::expression::QuantifierExpression:
Collaboration graph
[legend]

Public Member Functions

 QuantifierExpression (QuantifierType _type, std::vector< carl::Variable > &&_variables, Expression &&_expression)
 

Data Fields

QuantifierType type
 
std::vector< carl::Variable > variables
 
Expression expression
 

Detailed Description

Definition at line 30 of file ExpressionContent.h.

Constructor & Destructor Documentation

◆ QuantifierExpression()

smtrat::expression::QuantifierExpression::QuantifierExpression ( QuantifierType  _type,
std::vector< carl::Variable > &&  _variables,
Expression &&  _expression 
)
inline

Definition at line 35 of file ExpressionContent.h.

Field Documentation

◆ expression

Expression smtrat::expression::QuantifierExpression::expression

Definition at line 33 of file ExpressionContent.h.

◆ type

QuantifierType smtrat::expression::QuantifierExpression::type

Definition at line 31 of file ExpressionContent.h.

◆ variables

std::vector<carl::Variable> smtrat::expression::QuantifierExpression::variables

Definition at line 32 of file ExpressionContent.h.

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