dReal4
ExpressionLog Member List

This is the complete list of members for ExpressionLog, including all inherited members.

Differentiate(const Variable &x) const overrideExpressionLogvirtual
Display(std::ostream &os) const overrideExpressionLogvirtual
EqualTo(const ExpressionCell &e) const overrideUnaryExpressionCellvirtual
Evaluate(const Environment &env) const overrideUnaryExpressionCellvirtual
Expand() overrideExpressionLogvirtual
ExpressionCell(const ExpressionCell &e)=deleteExpressionCell
ExpressionCell(ExpressionCell &&e)=deleteExpressionCell
ExpressionCell()=deleteExpressionCell
ExpressionCell(ExpressionKind k, size_t hash, bool is_poly, bool include_ite, Variables variables)ExpressionCellprotected
ExpressionLog(const Expression &e) (defined in ExpressionLog)ExpressionLogexplicit
get_argument() constUnaryExpressionCellinline
get_hash() constExpressionCellinline
get_kind() constExpressionCellinline
GetExpression()ExpressionCellprotected
GetVariables() constExpressionCell
include_ite() constExpressionCellinline
is_polynomial() constExpressionCellinline
Less(const ExpressionCell &e) const overrideUnaryExpressionCellvirtual
log (defined in ExpressionLog)ExpressionLogfriend
operator=(UnaryExpressionCell &&e)=deleteUnaryExpressionCell
operator=(const UnaryExpressionCell &e)=deleteUnaryExpressionCell
dreal::drake::symbolic::ExpressionCell::operator=(ExpressionCell &&e)=deleteExpressionCell
dreal::drake::symbolic::ExpressionCell::operator=(const ExpressionCell &e)=deleteExpressionCell
Substitute(const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_subst) overrideExpressionLogvirtual
UnaryExpressionCell(const UnaryExpressionCell &e)=deleteUnaryExpressionCell
UnaryExpressionCell()=deleteUnaryExpressionCell
UnaryExpressionCell(UnaryExpressionCell &&e)=deleteUnaryExpressionCell
UnaryExpressionCell(ExpressionKind k, const Expression &e, bool is_poly)UnaryExpressionCellprotected
use_count() constExpressionCellinline
~ExpressionCell()=defaultExpressionCellprotectedvirtual
~UnaryExpressionCell() override=defaultUnaryExpressionCell