Differentiate(const Variable &x) const override | dlinear::drake::symbolic::ExpressionVar | virtual |
Display(std::ostream &os) const override | dlinear::drake::symbolic::ExpressionVar | virtual |
EqualTo(const ExpressionCell &e) const override | dlinear::drake::symbolic::ExpressionVar | virtual |
Evaluate(const Environment &env) const override | dlinear::drake::symbolic::ExpressionVar | virtual |
Expand() override | dlinear::drake::symbolic::ExpressionVar | virtual |
ExpressionCell(const ExpressionCell &e)=delete | dlinear::drake::symbolic::ExpressionCell | |
ExpressionCell(ExpressionCell &&e)=delete | dlinear::drake::symbolic::ExpressionCell | |
ExpressionCell(ExpressionKind k) | dlinear::drake::symbolic::ExpressionCell | explicitprotected |
ExpressionCell(ExpressionKind k, bool is_poly) | dlinear::drake::symbolic::ExpressionCell | protected |
ExpressionCell(ExpressionKind k, bool is_poly, bool include_ite) | dlinear::drake::symbolic::ExpressionCell | protected |
ExpressionCell(ExpressionKind k, bool is_poly, bool include_ite, Variables variables) | dlinear::drake::symbolic::ExpressionCell | protected |
ExpressionCell(ExpressionKind k, bool is_poly, bool include_ite, Variables variables, size_t hash) | dlinear::drake::symbolic::ExpressionCell | protected |
ExpressionVar(const Variable &v) | dlinear::drake::symbolic::ExpressionVar | explicit |
get_hash() const | dlinear::drake::symbolic::ExpressionCell | |
get_kind() const | dlinear::drake::symbolic::ExpressionCell | inline |
GetExpression() | dlinear::drake::symbolic::ExpressionCell | protected |
GetVariables() const | dlinear::drake::symbolic::ExpressionCell | |
include_ite() const | dlinear::drake::symbolic::ExpressionCell | |
is_polynomial() const | dlinear::drake::symbolic::ExpressionCell | |
Less(const ExpressionCell &e) const override | dlinear::drake::symbolic::ExpressionVar | virtual |
operator=(ExpressionCell &&e)=delete | dlinear::drake::symbolic::ExpressionCell | |
operator=(const ExpressionCell &e)=delete | dlinear::drake::symbolic::ExpressionCell | |
Substitute(const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_subst) override | dlinear::drake::symbolic::ExpressionVar | virtual |
UpdateHash() | dlinear::drake::symbolic::ExpressionCell | virtual |
use_count() const | dlinear::drake::symbolic::ExpressionCell | inline |
variables_ | dlinear::drake::symbolic::ExpressionCell | mutableprivate |
~ExpressionCell()=default | dlinear::drake::symbolic::ExpressionCell | protectedvirtual |