ExpressionUninterpretedFunction Class Reference

Detailed Description

Symbolic expression representing an uninterpreted function.

#include <drake/common/symbolic/expression/expression_cell.h>

Public Member Functions
	ExpressionUninterpretedFunction (std::string name, std::vector< Expression > arguments)
	Constructs an uninterpreted-function expression from name and arguments. More...
	~ExpressionUninterpretedFunction () override
void	HashAppendDetail (DelegatingHasher *) const override
	Sends all hash-relevant bytes for this ExpressionCell type into the given hasher, per the hash_append generic hashing concept – except for get_kind(), because Expression already sends that. More...
Variables	GetVariables () const override
	Collects variables in expression. More...
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...
Expression	Expand () const override
	Expands out products and positive integer powers in expression. More...
Expression	EvaluatePartial (const Environment &env) const override
	Returns an Expression obtained by replacing all occurrences of the variables in env in the current expression cell with the corresponding values in env. More...
Expression	Substitute (const Substitution &s) const 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...
const std::string &	get_name () const
	Returns the name of this expression. More...
const std::vector< Expression > &	get_arguments () const
	Returns the arguments of this expression. More...
Public Member Functions inherited from ExpressionCell
virtual	~ExpressionCell ()
std::atomic< int > &	use_count () const
	Returns the intrusive use count (ala boost::intrusive_ptr). More...
ExpressionKind	get_kind () const
	Returns expression kind. More...
bool	is_polynomial () const
	Checks if this symbolic expression is convertible to Polynomial. More...
bool	is_expanded () const
	Checks if this symbolic expression is already expanded. More...
void	set_expanded ()
	Sets this symbolic expression as already expanded. More...
	ExpressionCell (const ExpressionCell &)=delete
ExpressionCell &	operator= (const ExpressionCell &)=delete
	ExpressionCell (ExpressionCell &&)=delete
ExpressionCell &	operator= (ExpressionCell &&)=delete

Additional Inherited Members
Protected Member Functions inherited from ExpressionCell
	ExpressionCell (ExpressionKind k, bool is_poly, bool is_expanded)
	Constructs ExpressionCell of kind k with is_poly and is_expanded, with a use_count of zero. More...

Constructor & Destructor Documentation

ExpressionUninterpretedFunction()

ExpressionUninterpretedFunction	(	std::string	name,
		std::vector< Expression >	arguments
	)

Constructs an uninterpreted-function expression from name and arguments.

~ExpressionUninterpretedFunction()

~ExpressionUninterpretedFunction ( )

override

Member Function Documentation

Differentiate()

Expression Differentiate ( const Variable &  x ) const

overridevirtual

Differentiates this symbolic expression with respect to the variable var.

Exceptions

std::exception

if it is not differentiable.

Implements ExpressionCell.

Display()

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

overridevirtual

Outputs string representation of expression into output stream os.

Implements ExpressionCell.

EqualTo()

bool EqualTo ( const ExpressionCell &  c ) const

overridevirtual

Checks structural equality.

Implements ExpressionCell.

Evaluate()

double Evaluate ( const Environment &  env ) const

overridevirtual

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

Exceptions

std::exception

if NaN is detected during evaluation.

Implements ExpressionCell.

EvaluatePartial()

Expression EvaluatePartial ( const Environment &  env ) const

overridevirtual

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

Exceptions

std::exception

if NaN is detected during substitution.

Implements ExpressionCell.

Expand()

Expression Expand ( ) const

overridevirtual

Expands out products and positive integer powers in expression.

Exceptions

std::exception

if NaN is detected during expansion.

Implements ExpressionCell.

get_arguments()

const std::vector<Expression>& get_arguments

(

)

const

Returns the arguments of this expression.

get_name()

const std::string& get_name

(

)

const

Returns the name of this expression.

GetVariables()

Variables GetVariables ( ) const

overridevirtual

Collects variables in expression.

Implements ExpressionCell.

HashAppendDetail()

void HashAppendDetail ( DelegatingHasher *  ) const

overridevirtual

Sends all hash-relevant bytes for this ExpressionCell type into the given hasher, per the hash_append generic hashing concept – except for get_kind(), because Expression already sends that.

Implements ExpressionCell.

Less()

bool Less ( const ExpressionCell &  c ) const

overridevirtual

Provides lexicographical ordering between expressions.

Implements ExpressionCell.

Substitute()

Expression Substitute ( const Substitution &  s ) const

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::exception

if NaN is detected during substitution.

Implements ExpressionCell.

---

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

• drake/common/symbolic/expression/expression_cell.h