Open CASCADE Technology 6.6.0
|
Defines all binary expressions. The order of the two
operands is significant.
#include <Expr_BinaryExpression.hxx>
Public Member Functions | |
const Handle_Expr_GeneralExpression & | FirstOperand () const |
const Handle_Expr_GeneralExpression & | SecondOperand () const |
void | SetFirstOperand (const Handle< Expr_GeneralExpression > &exp) |
Sets first operand of <me> Raises InvalidOperand if exp = me | |
void | SetSecondOperand (const Handle< Expr_GeneralExpression > &exp) |
Sets second operand of <me> Raises InvalidOperand if <exp> contains <me>. | |
Standard_Integer | NbSubExpressions () const |
returns the number of sub-expressions contained in <me> ( >= 0) | |
const Handle_Expr_GeneralExpression & | SubExpression (const Standard_Integer I) const |
returns the -th sub-expression of <me> raises OutOfRange if > NbSubExpressions(me) | |
Standard_Boolean | ContainsUnknowns () const |
Does <me> contain NamedUnknown ? | |
Standard_Boolean | Contains (const Handle< Expr_GeneralExpression > &exp) const |
Tests if <me> contains <exp>. | |
void | Replace (const Handle< Expr_NamedUnknown > &var, const Handle< Expr_GeneralExpression > &with) |
Replaces all occurences of with <with> in <me>. Raises InvalidOperand if <with> contains <me>. | |
Handle_Expr_GeneralExpression | Simplified () const |
Returns a GeneralExpression after replacement of NamedUnknowns by an associated expression and after values computation. | |
Protected Member Functions | |
void | CreateFirstOperand (const Handle< Expr_GeneralExpression > &exp) |
Sets first operand of <me> | |
void | CreateSecondOperand (const Handle< Expr_GeneralExpression > &exp) |
Sets second operand of <me> Raises InvalidOperand if <exp> contains <me>. |
Standard_Boolean Expr_BinaryExpression::Contains | ( | const Handle< Expr_GeneralExpression > & | exp | ) | const [virtual] |
Implements Expr_GeneralExpression.
Standard_Boolean Expr_BinaryExpression::ContainsUnknowns | ( | ) | const [virtual] |
Implements Expr_GeneralExpression.
void Expr_BinaryExpression::CreateFirstOperand | ( | const Handle< Expr_GeneralExpression > & | exp | ) | [protected] |
void Expr_BinaryExpression::CreateSecondOperand | ( | const Handle< Expr_GeneralExpression > & | exp | ) | [protected] |
const Handle_Expr_GeneralExpression& Expr_BinaryExpression::FirstOperand | ( | ) | const |
Standard_Integer Expr_BinaryExpression::NbSubExpressions | ( | ) | const [virtual] |
Implements Expr_GeneralExpression.
void Expr_BinaryExpression::Replace | ( | const Handle< Expr_NamedUnknown > & | var, |
const Handle< Expr_GeneralExpression > & | with | ||
) | [virtual] |
Implements Expr_GeneralExpression.
const Handle_Expr_GeneralExpression& Expr_BinaryExpression::SecondOperand | ( | ) | const |
void Expr_BinaryExpression::SetFirstOperand | ( | const Handle< Expr_GeneralExpression > & | exp | ) |
void Expr_BinaryExpression::SetSecondOperand | ( | const Handle< Expr_GeneralExpression > & | exp | ) |
Handle_Expr_GeneralExpression Expr_BinaryExpression::Simplified | ( | ) | const [virtual] |
Implements Expr_GeneralExpression.
const Handle_Expr_GeneralExpression& Expr_BinaryExpression::SubExpression | ( | const Standard_Integer | I | ) | const [virtual] |
Implements Expr_GeneralExpression.