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 | |
drake | |
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. More... | |
bool | is_unary (const ExpressionCell &c) |
Checks if c is a unary expression. More... | |
bool | is_binary (const ExpressionCell &c) |
Checks if c is a binary expression. More... | |
bool | is_addition (const ExpressionCell &c) |
Checks if c is an addition expression. More... | |
bool | is_multiplication (const ExpressionCell &c) |
Checks if c is an multiplication expression. More... | |
bool | is_division (const ExpressionCell &c) |
Checks if c is a division expression. More... | |
bool | is_log (const ExpressionCell &c) |
Checks if c is a log expression. More... | |
bool | is_abs (const ExpressionCell &c) |
Checks if c is an absolute-value-function expression. More... | |
bool | is_exp (const ExpressionCell &c) |
Checks if c is an exp expression. More... | |
bool | is_sqrt (const ExpressionCell &c) |
Checks if c is a square-root expression. More... | |
bool | is_pow (const ExpressionCell &c) |
Checks if c is a power-function expression. More... | |
bool | is_sin (const ExpressionCell &c) |
Checks if c is a sine expression. More... | |
bool | is_cos (const ExpressionCell &c) |
Checks if c is a cosine expression. More... | |
bool | is_tan (const ExpressionCell &c) |
Checks if c is a tangent expression. More... | |
bool | is_asin (const ExpressionCell &c) |
Checks if c is an arcsine expression. More... | |
bool | is_acos (const ExpressionCell &c) |
Checks if c is an arccosine expression. More... | |
bool | is_atan (const ExpressionCell &c) |
Checks if c is an arctangent expression. More... | |
bool | is_atan2 (const ExpressionCell &c) |
Checks if c is a arctangent2 expression. More... | |
bool | is_sinh (const ExpressionCell &c) |
Checks if c is a hyperbolic-sine expression. More... | |
bool | is_cosh (const ExpressionCell &c) |
Checks if c is a hyperbolic-cosine expression. More... | |
bool | is_tanh (const ExpressionCell &c) |
Checks if c is a hyperbolic-tangent expression. More... | |
bool | is_min (const ExpressionCell &c) |
Checks if c is a min expression. More... | |
bool | is_max (const ExpressionCell &c) |
Checks if c is a max expression. More... | |
bool | is_ceil (const ExpressionCell &c) |
Checks if c is a ceil expression. More... | |
bool | is_floor (const ExpressionCell &c) |
Checks if c is a floor expression. More... | |
bool | is_if_then_else (const ExpressionCell &c) |
Checks if c is an if-then-else expression. More... | |
bool | is_uninterpreted_function (const ExpressionCell &c) |
Checks if c is an uninterpreted-function expression. More... | |