dReal4
UnaryExpressionCell Member List

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

Differentiate(const Variable &x) const =0ExpressionCellpure virtual
Display(std::ostream &os) const =0ExpressionCellpure virtual
DoEvaluate(double v) const =0UnaryExpressionCellprotectedpure virtual
EqualTo(const ExpressionCell &e) const overrideUnaryExpressionCellvirtual
Evaluate(const Environment &env) const overrideUnaryExpressionCellvirtual
Expand()=0ExpressionCellpure virtual
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
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
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)=0ExpressionCellpure virtual
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