ExpressionLog Class Reference
Symbolic expression representing logarithms. More...
Inheritance diagram for ExpressionLog:
Public Member Functions | |
| ExpressionLog (const Expression &e) | |
| 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 UnaryExpressionCell | |
| 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... | |
| UnaryExpressionCell (const UnaryExpressionCell &e)=delete | |
| Copy-constructs from an lvalue. More... | |
| UnaryExpressionCell ()=delete | |
| Default constructor (DELETED). More... | |
| UnaryExpressionCell & | operator= (UnaryExpressionCell &&e)=delete |
| Move-assigns (DELETED). More... | |
| UnaryExpressionCell & | operator= (const UnaryExpressionCell &e)=delete |
| Copy-assigns (DELETED). More... | |
| UnaryExpressionCell (UnaryExpressionCell &&e)=delete | |
| Move-constructs from an rvalue. More... | |
| ~UnaryExpressionCell () 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 | log (const Expression &e) |
Additional Inherited Members | |
| Protected Member Functions inherited from UnaryExpressionCell | |
| UnaryExpressionCell (ExpressionKind k, const Expression &e, bool is_poly) | |
Constructs UnaryExpressionCell of kind k with hash, e, is_poly. More... | |
| 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 logarithms.
Member Function Documentation
◆ Differentiate()
|
overridevirtual |
Differentiates this symbolic expression with respect to the variable var.
- Exceptions
-
std::runtime_error if it is not differentiable.
Implements ExpressionCell.
◆ Display()
|
overridevirtual |
Outputs string representation of expression into output stream os.
Implements ExpressionCell.
◆ Expand()
|
overridevirtual |
Expands out products and positive integer powers in expression.
- Exceptions
-
std::runtime_error if NaN is detected during expansion.
Implements ExpressionCell.
◆ Substitute()
|
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
