dReal4
|
This is the complete list of members for ExpressionLog, including all inherited members.
Differentiate(const Variable &x) const override | ExpressionLog | virtual |
Display(std::ostream &os) const override | ExpressionLog | virtual |
EqualTo(const ExpressionCell &e) const override | UnaryExpressionCell | virtual |
Evaluate(const Environment &env) const override | UnaryExpressionCell | virtual |
Expand() override | ExpressionLog | 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 |
ExpressionLog(const Expression &e) (defined in ExpressionLog) | ExpressionLog | explicit |
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 |
log (defined in ExpressionLog) | ExpressionLog | friend |
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) override | ExpressionLog | 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 |