dReal4
|
This is the complete list of members for UnaryExpressionCell, including all inherited members.
Differentiate(const Variable &x) const =0 | ExpressionCell | pure virtual |
Display(std::ostream &os) const =0 | ExpressionCell | pure virtual |
DoEvaluate(double v) const =0 | UnaryExpressionCell | protectedpure virtual |
EqualTo(const ExpressionCell &e) const override | UnaryExpressionCell | virtual |
Evaluate(const Environment &env) const override | UnaryExpressionCell | virtual |
Expand()=0 | ExpressionCell | pure virtual |
ExpressionCell(const ExpressionCell &e)=delete | ExpressionCell | |
ExpressionCell(ExpressionCell &&e)=delete | ExpressionCell | |
ExpressionCell()=delete | ExpressionCell | |
ExpressionCell(ExpressionKind k, size_t hash, bool is_poly, bool include_ite, Variables variables) | ExpressionCell | protected |
get_argument() const | UnaryExpressionCell | inline |
get_hash() const | ExpressionCell | inline |
get_kind() const | ExpressionCell | inline |
GetExpression() | ExpressionCell | protected |
GetVariables() const | ExpressionCell | |
include_ite() const | ExpressionCell | inline |
is_polynomial() const | ExpressionCell | inline |
Less(const ExpressionCell &e) const override | UnaryExpressionCell | virtual |
operator=(UnaryExpressionCell &&e)=delete | UnaryExpressionCell | |
operator=(const UnaryExpressionCell &e)=delete | UnaryExpressionCell | |
dreal::drake::symbolic::ExpressionCell::operator=(ExpressionCell &&e)=delete | ExpressionCell | |
dreal::drake::symbolic::ExpressionCell::operator=(const ExpressionCell &e)=delete | ExpressionCell | |
Substitute(const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_subst)=0 | ExpressionCell | pure virtual |
UnaryExpressionCell(const UnaryExpressionCell &e)=delete | UnaryExpressionCell | |
UnaryExpressionCell()=delete | UnaryExpressionCell | |
UnaryExpressionCell(UnaryExpressionCell &&e)=delete | UnaryExpressionCell | |
UnaryExpressionCell(ExpressionKind k, const Expression &e, bool is_poly) | UnaryExpressionCell | protected |
use_count() const | ExpressionCell | inline |
~ExpressionCell()=default | ExpressionCell | protectedvirtual |
~UnaryExpressionCell() override=default | UnaryExpressionCell |