dlinear::drake::symbolic::ExpressionAdd Class Reference

Symbolic expression representing an addition which is a sum of products. More...

#include <symbolic_expression_cell.h>

Inheritance diagram for dlinear::drake::symbolic::ExpressionAdd:

Public Member Functions
	ExpressionAdd (const mpq_class &constant, std::map< Expression, mpq_class > expr_to_coeff_map)
	Constructs ExpressionAdd from constant_term and term_to_coeff_map.
bool	EqualTo (const ExpressionCell &e) const override
	Checks structural equality.
bool	Less (const ExpressionCell &e) const override
	Provides lexicographical ordering between expressions.
mpq_class	Evaluate (const Environment &env) const override
	Evaluates under a given environment (by default, an empty environment).
Expression	Expand () override
	Expands out products and positive integer powers in expression.
Expression	Substitute (const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_subst) override
	Returns an Expression obtained by replacing all occurrences of the variables in s in the current expression cell with the corresponding expressions in s.
Expression	Differentiate (const Variable &x) const override
	Differentiates this symbolic expression with respect to the variable var.
std::ostream &	Display (std::ostream &os) const override
	Outputs string representation of expression into output stream os.
const mpq_class &	get_constant () const
	Returns the constant.
const std::map< Expression, mpq_class > &	get_expr_to_coeff_map () const
	Returns map from an expression to its coefficient.
std::map< Expression, mpq_class > &	get_mutable_expr_to_coeff_map ()
	Returns map from an expression to its coefficient.
void	UpdateHash () override
	Update the cached hash value.
Public Member Functions inherited from dlinear::drake::symbolic::ExpressionCell
ExpressionKind	get_kind () const
	Returns expression kind.
size_t	get_hash () const
	Returns hash value.
const Variables &	GetVariables () const
	Collects variables in expression.
bool	is_polynomial () const
	Checks if this symbolic expression is convertible to Polynomial.
bool	include_ite () const
	Returns true if this symbolic expression includes an ITE (If-Then-Else) expression.
unsigned	use_count () const
	Returns the reference count of this cell.
	ExpressionCell (const ExpressionCell &e)=delete
	Copy-constructs an ExpressionCell from an lvalue.
	ExpressionCell (ExpressionCell &&e)=delete
	Move-constructs an ExpressionCell from an rvalue.
ExpressionCell &	operator= (ExpressionCell &&e)=delete
	Move-assigns (DELETED).
ExpressionCell &	operator= (const ExpressionCell &e)=delete
	Copy-assigns (DELETED).

Additional Inherited Members
Protected Member Functions inherited from dlinear::drake::symbolic::ExpressionCell
	ExpressionCell (ExpressionKind k)
	Constructs ExpressionCell of kind k.
	ExpressionCell (ExpressionKind k, bool is_poly)
	Constructs ExpressionCell of kind k with hash, is_poly, and include_ite.
	ExpressionCell (ExpressionKind k, bool is_poly, bool include_ite)
	Constructs ExpressionCell of kind k with hash, is_poly, and include_ite.
	ExpressionCell (ExpressionKind k, bool is_poly, bool include_ite, Variables variables)
	Constructs ExpressionCell of kind k with hash, is_poly, and include_ite.
	ExpressionCell (ExpressionKind k, bool is_poly, bool include_ite, Variables variables, size_t hash)
	Constructs ExpressionCell of kind k with hash, is_poly, and include_ite.
virtual	~ExpressionCell ()=default
	Default destructor.
Expression	GetExpression ()
	Returns an expression pointing to this ExpressionCell.

Detailed Description

Symbolic expression representing an addition which is a sum of products.

\[ c_0 + \sum c_i * e_i \]

where \( c_i \) is a constant and \( e_i \) is a symbolic expression.

Internally this class maintains a member variable constant_ to represent \( c_0 \) and another member variable expr_to_coeff_map_ to represent a mapping from an expression \( e_i \) to its coefficient \( c_i \) of mpq_class.

Definition at line 335 of file symbolic_expression_cell.h.

Member Function Documentation

Differentiate()

Expression dlinear::drake::symbolic::ExpressionAdd::Differentiate ( const Variable & x ) const

overridevirtual

Differentiates this symbolic expression with respect to the variable var.

Exceptions

std::runtime_error

if it is not differentiable.

Implements dlinear::drake::symbolic::ExpressionCell.

Evaluate()

mpq_class dlinear::drake::symbolic::ExpressionAdd::Evaluate ( const Environment & env ) const

overridevirtual

Evaluates under a given environment (by default, an empty environment).

Exceptions

std::runtime_error

if NaN is detected during evaluation.

Implements dlinear::drake::symbolic::ExpressionCell.

Expand()

Expression dlinear::drake::symbolic::ExpressionAdd::Expand ( )

overridevirtual

Expands out products and positive integer powers in expression.

Exceptions

std::runtime_error

if NaN is detected during expansion.

Implements dlinear::drake::symbolic::ExpressionCell.

Substitute()

Expression dlinear::drake::symbolic::ExpressionAdd::Substitute ( const ExpressionSubstitution & expr_subst, const FormulaSubstitution & formula_subst )

overridevirtual

Returns an Expression obtained by replacing all occurrences of the variables in s in the current expression cell with the corresponding expressions in s.

Exceptions

std::runtime_error

if NaN is detected during substitution.

Implements dlinear::drake::symbolic::ExpressionCell.

---

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

• third_party/com_github_robotlocomotion_drake/dlinear/symbolic/symbolic_expression_cell.h