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

#include <ExpressionContent.h>

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

Public Member Functions

 NaryExpression (NaryType _type, Expressions &&_expressions)
 
 NaryExpression (NaryType _type, const std::initializer_list< Expression > &_expressions)
 
void normalize ()
 

Data Fields

NaryType type
 
Expressions expressions
 

Detailed Description

Definition at line 70 of file ExpressionContent.h.

Constructor & Destructor Documentation

◆ NaryExpression() [1/2]

smtrat::expression::NaryExpression::NaryExpression ( NaryType  _type,
Expressions &&  _expressions 
)
inline

Definition at line 74 of file ExpressionContent.h.

Here is the call graph for this function:

◆ NaryExpression() [2/2]

smtrat::expression::NaryExpression::NaryExpression ( NaryType  _type,
const std::initializer_list< Expression > &  _expressions 
)
inline

Definition at line 79 of file ExpressionContent.h.

Here is the call graph for this function:

Member Function Documentation

◆ normalize()

void smtrat::expression::NaryExpression::normalize ( )
inline

Definition at line 84 of file ExpressionContent.h.

Here is the call graph for this function:
Here is the caller graph for this function:

Field Documentation

◆ expressions

Expressions smtrat::expression::NaryExpression::expressions

Definition at line 72 of file ExpressionContent.h.

◆ type

NaryType smtrat::expression::NaryExpression::type

Definition at line 71 of file ExpressionContent.h.

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