smtrat::expression::BinaryExpression Struct Reference

#include <ExpressionContent.h>

Collaboration diagram for smtrat::expression::BinaryExpression:

Public Member Functions
	BinaryExpression (BinaryType _type, Expression &&_lhs, Expression &&_rhs)

Data Fields
BinaryType	type
Expression	lhs
Expression	rhs

Detailed Description

Definition at line 55 of file ExpressionContent.h.

Constructor & Destructor Documentation

BinaryExpression()

smtrat::expression::BinaryExpression::BinaryExpression ( BinaryType  _type, Expression &&  _lhs, Expression &&  _rhs  )

inline

Definition at line 60 of file ExpressionContent.h.

Field Documentation

lhs

Expression smtrat::expression::BinaryExpression::lhs

Definition at line 57 of file ExpressionContent.h.

rhs

Expression smtrat::expression::BinaryExpression::rhs

Definition at line 58 of file ExpressionContent.h.

type

BinaryType smtrat::expression::BinaryExpression::type

Definition at line 56 of file ExpressionContent.h.

---

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

• smtrat-expressions/ExpressionContent.h