BinaryExpressionCell(const BinaryExpressionCell &e)=delete | dlinear::drake::symbolic::BinaryExpressionCell | |
BinaryExpressionCell(BinaryExpressionCell &&e)=delete | dlinear::drake::symbolic::BinaryExpressionCell | |
BinaryExpressionCell()=delete | dlinear::drake::symbolic::BinaryExpressionCell | |
BinaryExpressionCell(ExpressionKind k, const Expression &e1, const Expression &e2, bool is_poly) | dlinear::drake::symbolic::BinaryExpressionCell | protected |
Differentiate(const Variable &x) const override | dlinear::drake::symbolic::ExpressionMin | virtual |
Display(std::ostream &os) const override | dlinear::drake::symbolic::ExpressionMin | virtual |
DoEvaluate(const mpq_class &v1, const mpq_class &v2) const override | dlinear::drake::symbolic::ExpressionMin | privatevirtual |
EqualTo(const ExpressionCell &e) const override | dlinear::drake::symbolic::BinaryExpressionCell | virtual |
Evaluate(const Environment &env) const override | dlinear::drake::symbolic::BinaryExpressionCell | virtual |
Expand() override | dlinear::drake::symbolic::ExpressionMin | 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 |
get_first_argument() const | dlinear::drake::symbolic::BinaryExpressionCell | inline |
get_hash() const | dlinear::drake::symbolic::ExpressionCell | |
get_kind() const | dlinear::drake::symbolic::ExpressionCell | inline |
get_second_argument() const | dlinear::drake::symbolic::BinaryExpressionCell | 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::BinaryExpressionCell | virtual |
operator=(BinaryExpressionCell &&e)=delete | dlinear::drake::symbolic::BinaryExpressionCell | |
operator=(const BinaryExpressionCell &e)=delete | dlinear::drake::symbolic::BinaryExpressionCell | |
dlinear::drake::symbolic::ExpressionCell::operator=(ExpressionCell &&e)=delete | dlinear::drake::symbolic::ExpressionCell | |
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::ExpressionMin | virtual |
UpdateHash() | dlinear::drake::symbolic::ExpressionCell | virtual |
use_count() const | dlinear::drake::symbolic::ExpressionCell | inline |
variables_ | dlinear::drake::symbolic::ExpressionCell | mutableprivate |
~BinaryExpressionCell() override=default | dlinear::drake::symbolic::BinaryExpressionCell | |
~ExpressionCell()=default | dlinear::drake::symbolic::ExpressionCell | protectedvirtual |