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.