Internal use only.
Provides implementation-details of symbolic expressions.
#include <algorithm>#include <atomic>#include <cstddef>#include <map>#include <ostream>#include <string>#include <vector>#include <Eigen/Core>#include "drake/common/drake_copyable.h"#include "drake/common/hash.h"#include "drake/common/random.h"#include "drake/common/symbolic/expression/all.h"Classes | |
| class | ExpressionCell |
| Represents an abstract class which is the base of concrete symbolic-expression classes. More... | |
| class | UnaryExpressionCell |
| Represents the base class for unary expressions. More... | |
| class | BinaryExpressionCell |
| Represents the base class for binary expressions. More... | |
| class | ExpressionVar |
| Symbolic expression representing a variable. More... | |
| class | ExpressionNaN |
| Symbolic expression representing NaN (not-a-number). More... | |
| class | ExpressionAdd |
| Symbolic expression representing an addition which is a sum of products. More... | |
| class | ExpressionAddFactory |
| Factory class to help build ExpressionAdd expressions. More... | |
| class | ExpressionMul |
| Symbolic expression representing a multiplication of powers. More... | |
| class | ExpressionMulFactory |
| Factory class to help build ExpressionMul expressions. More... | |
| class | ExpressionDiv |
| Symbolic expression representing division. More... | |
| class | ExpressionLog |
| Symbolic expression representing logarithms. More... | |
| class | ExpressionAbs |
| Symbolic expression representing absolute value function. More... | |
| class | ExpressionExp |
| Symbolic expression representing exponentiation using the base of natural logarithms. More... | |
| class | ExpressionSqrt |
| Symbolic expression representing square-root. More... | |
| class | ExpressionPow |
| Symbolic expression representing power function. More... | |
| class | ExpressionSin |
| Symbolic expression representing sine function. More... | |
| class | ExpressionCos |
| Symbolic expression representing cosine function. More... | |
| class | ExpressionTan |
| Symbolic expression representing tangent function. More... | |
| class | ExpressionAsin |
| Symbolic expression representing arcsine function. More... | |
| class | ExpressionAcos |
| Symbolic expression representing arccosine function. More... | |
| class | ExpressionAtan |
| Symbolic expression representing arctangent function. More... | |
| class | ExpressionAtan2 |
| Symbolic expression representing atan2 function (arctangent function with two arguments). More... | |
| class | ExpressionSinh |
| Symbolic expression representing hyperbolic sine function. More... | |
| class | ExpressionCosh |
| Symbolic expression representing hyperbolic cosine function. More... | |
| class | ExpressionTanh |
| Symbolic expression representing hyperbolic tangent function. More... | |
| class | ExpressionMin |
| Symbolic expression representing min function. More... | |
| class | ExpressionMax |
| Symbolic expression representing max function. More... | |
| class | ExpressionCeiling |
| Symbolic expression representing ceil function. More... | |
| class | ExpressionFloor |
| Symbolic expression representing floor function. More... | |
| class | ExpressionIfThenElse |
| Symbolic expression representing if-then-else expression. More... | |
| class | ExpressionUninterpretedFunction |
| Symbolic expression representing an uninterpreted function. More... | |
Namespaces | |
| namespace | drake |
| namespace | drake::symbolic |
Functions | |
| bool | is_integer (double v) |
| bool | is_positive_integer (double v) |
| bool | is_non_negative_integer (double v) |
| bool | is_variable (const ExpressionCell &c) |
Checks if c is a variable expression. | |
| bool | is_unary (const ExpressionCell &c) |
Checks if c is a unary expression. | |
| bool | is_binary (const ExpressionCell &c) |
Checks if c is a binary expression. | |
| bool | is_addition (const ExpressionCell &c) |
Checks if c is an addition expression. | |
| bool | is_multiplication (const ExpressionCell &c) |
Checks if c is an multiplication expression. | |
| bool | is_division (const ExpressionCell &c) |
Checks if c is a division expression. | |
| bool | is_log (const ExpressionCell &c) |
Checks if c is a log expression. | |
| bool | is_abs (const ExpressionCell &c) |
Checks if c is an absolute-value-function expression. | |
| bool | is_exp (const ExpressionCell &c) |
Checks if c is an exp expression. | |
| bool | is_sqrt (const ExpressionCell &c) |
Checks if c is a square-root expression. | |
| bool | is_pow (const ExpressionCell &c) |
Checks if c is a power-function expression. | |
| bool | is_sin (const ExpressionCell &c) |
Checks if c is a sine expression. | |
| bool | is_cos (const ExpressionCell &c) |
Checks if c is a cosine expression. | |
| bool | is_tan (const ExpressionCell &c) |
Checks if c is a tangent expression. | |
| bool | is_asin (const ExpressionCell &c) |
Checks if c is an arcsine expression. | |
| bool | is_acos (const ExpressionCell &c) |
Checks if c is an arccosine expression. | |
| bool | is_atan (const ExpressionCell &c) |
Checks if c is an arctangent expression. | |
| bool | is_atan2 (const ExpressionCell &c) |
Checks if c is a arctangent2 expression. | |
| bool | is_sinh (const ExpressionCell &c) |
Checks if c is a hyperbolic-sine expression. | |
| bool | is_cosh (const ExpressionCell &c) |
Checks if c is a hyperbolic-cosine expression. | |
| bool | is_tanh (const ExpressionCell &c) |
Checks if c is a hyperbolic-tangent expression. | |
| bool | is_min (const ExpressionCell &c) |
Checks if c is a min expression. | |
| bool | is_max (const ExpressionCell &c) |
Checks if c is a max expression. | |
| bool | is_ceil (const ExpressionCell &c) |
Checks if c is a ceil expression. | |
| bool | is_floor (const ExpressionCell &c) |
Checks if c is a floor expression. | |
| bool | is_if_then_else (const ExpressionCell &c) |
Checks if c is an if-then-else expression. | |
| bool | is_uninterpreted_function (const ExpressionCell &c) |
Checks if c is an uninterpreted-function expression. | |