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

#include <ExpressionContent.h>

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

Public Member Functions

 UnaryExpression (UnaryType _type, Expression &&_expression)
 

Data Fields

UnaryType type
 
Expression expression
 

Detailed Description

Definition at line 43 of file ExpressionContent.h.

Constructor & Destructor Documentation

◆ UnaryExpression()

smtrat::expression::UnaryExpression::UnaryExpression ( UnaryType  _type,
Expression &&  _expression 
)
inline

Definition at line 47 of file ExpressionContent.h.

Field Documentation

◆ expression

Expression smtrat::expression::UnaryExpression::expression

Definition at line 45 of file ExpressionContent.h.

◆ type

UnaryType smtrat::expression::UnaryExpression::type

Definition at line 44 of file ExpressionContent.h.

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