Symbolic expression representing atan2 function (arctangent function with two arguments). More...

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

Inheritance diagram for ExpressionAtan2:

Public Member Functions
	ExpressionAtan2 (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...

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 atan2 function (arctangent function with two arguments).

atan2(y, x) is defined as atan(y/x).

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

Public Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ Differentiate()

◆ Display()

◆ Expand()

◆ Substitute()