Represents the base class for unary expressions.
#include <drake/common/symbolic/expression/expression_cell.h>
Public Member Functions | |
~UnaryExpressionCell () 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... | |
const Expression & | get_argument () const |
Returns the argument. 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... | |
virtual Expression | Expand () const =0 |
Expands out products and positive integer powers in expression. More... | |
virtual Expression | EvaluatePartial (const Environment &env) const =0 |
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... | |
virtual Expression | Substitute (const Substitution &s) const =0 |
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... | |
virtual Expression | Differentiate (const Variable &x) const =0 |
Differentiates this symbolic expression with respect to the variable var . More... | |
virtual std::ostream & | Display (std::ostream &os) const =0 |
Outputs string representation of expression into output stream os . More... | |
ExpressionCell (const ExpressionCell &)=delete | |
ExpressionCell & | operator= (const ExpressionCell &)=delete |
ExpressionCell (ExpressionCell &&)=delete | |
ExpressionCell & | operator= (ExpressionCell &&)=delete |
Protected Member Functions | |
UnaryExpressionCell (ExpressionKind k, Expression e, bool is_poly, bool is_expanded) | |
Constructs UnaryExpressionCell of kind k with e , is_poly , and is_expanded . More... | |
virtual double | DoEvaluate (double v) const =0 |
Returns the evaluation result f(v ). More... | |
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... | |
|
override |
|
protected |
Constructs UnaryExpressionCell of kind k
with e
, is_poly
, and is_expanded
.
Returns the evaluation result f(v
).
|
overridevirtual |
Checks structural equality.
Implements ExpressionCell.
|
overridevirtual |
Evaluates under a given environment (by default, an empty environment).
std::exception | if NaN is detected during evaluation. |
Implements ExpressionCell.
const Expression& get_argument | ( | ) | const |
Returns the argument.
|
overridevirtual |
Collects variables in expression.
Implements ExpressionCell.
|
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.
|
overridevirtual |
Provides lexicographical ordering between expressions.
Implements ExpressionCell.