ExpressionPow Class Reference

Symbolic expression representing power function. More...

#include </home/soonhokong/work/dreal4/third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.h>

Inheritance diagram for ExpressionPow:

Public Member Functions
	ExpressionPow (const Expression &e1, const Expression &e2)
Expression	Expand () override
	Expands out products and positive integer powers in expression. More...
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. More...
Expression	Differentiate (const Variable &x) const override
	Differentiates this symbolic expression with respect to the variable var. More...
std::ostream &	Display (std::ostream &os) const override
	Outputs string representation of expression into output stream os. More...
Public Member Functions inherited from BinaryExpressionCell
bool	EqualTo (const ExpressionCell &e) const override
	Checks structural equality. More...
bool	Less (const ExpressionCell &e) const override
	Provides lexicographical ordering between expressions. More...
double	Evaluate (const Environment &env) const override
	Evaluates under a given environment (by default, an empty environment). More...
const Expression &	get_first_argument () const
	Returns the first argument. More...
const Expression &	get_second_argument () const
	Returns the second argument. More...
	BinaryExpressionCell (const BinaryExpressionCell &e)=delete
	Copy-constructs from an lvalue. More...
	BinaryExpressionCell (BinaryExpressionCell &&e)=delete
	Move-constructs from an rvalue. More...
	BinaryExpressionCell ()=delete
	Default constructor (DELETED). More...
BinaryExpressionCell &	operator= (BinaryExpressionCell &&e)=delete
	Move-assigns (DELETED). More...
BinaryExpressionCell &	operator= (const BinaryExpressionCell &e)=delete
	Copy-assigns (DELETED). More...
	~BinaryExpressionCell () override=default
	Default destructor. More...
Public Member Functions inherited from ExpressionCell
ExpressionKind	get_kind () const
	Returns expression kind. More...
size_t	get_hash () const
	Returns hash value. More...
const Variables &	GetVariables () const
	Collects variables in expression. More...
bool	is_polynomial () const
	Checks if this symbolic expression is convertible to Polynomial. More...
bool	include_ite () const
	Returns true if this symbolic expression includes an ITE (If-Then-Else) expression. More...
unsigned	use_count () const
	Returns the reference count of this cell. More...
	ExpressionCell (const ExpressionCell &e)=delete
	Copy-constructs an ExpressionCell from an lvalue. More...
	ExpressionCell (ExpressionCell &&e)=delete
	Move-constructs an ExpressionCell from an rvalue. More...
	ExpressionCell ()=delete
	Default constructor (DELETED). More...
ExpressionCell &	operator= (ExpressionCell &&e)=delete
	Move-assigns (DELETED). More...
ExpressionCell &	operator= (const ExpressionCell &e)=delete
	Copy-assigns (DELETED). More...

Friends
Expression	pow (const Expression &e1, const Expression &e2)

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

Detailed Description

Symbolic expression representing power function.

Member Function Documentation

Differentiate()

Expression 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 ExpressionCell.

Display()

ostream & Display ( std::ostream &  os ) const

overridevirtual

Outputs string representation of expression into output stream os.

Implements ExpressionCell.

Expand()

Expression Expand ( )

overridevirtual

Expands out products and positive integer powers in expression.

Exceptions

std::runtime_error

if NaN is detected during expansion.

Implements ExpressionCell.

Substitute()

Expression 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 ExpressionCell.

---

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

• /home/soonhokong/work/dreal4/third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.h
• /home/soonhokong/work/dreal4/third_party/com_github_robotlocomotion_drake/dreal/symbolic/symbolic_expression_cell.cc