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

#include <ExpressionContent.h>

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

Public Member Functions

 ITEExpression (ITEType, Expression &&_condition, Expression &&_then, Expression &&_else)
 

Data Fields

ITEType type
 
Expression condition
 
Expression thencase
 
Expression elsecase
 

Detailed Description

Definition at line 16 of file ExpressionContent.h.

Constructor & Destructor Documentation

◆ ITEExpression()

smtrat::expression::ITEExpression::ITEExpression ( ITEType  ,
Expression &&  _condition,
Expression &&  _then,
Expression &&  _else 
)
inline

Definition at line 22 of file ExpressionContent.h.

Field Documentation

◆ condition

Expression smtrat::expression::ITEExpression::condition

Definition at line 18 of file ExpressionContent.h.

◆ elsecase

Expression smtrat::expression::ITEExpression::elsecase

Definition at line 20 of file ExpressionContent.h.

◆ thencase

Expression smtrat::expression::ITEExpression::thencase

Definition at line 19 of file ExpressionContent.h.

◆ type

ITEType smtrat::expression::ITEExpression::type

Definition at line 17 of file ExpressionContent.h.

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