Expression Member List

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

abs (defined in Expression)	Expression	friend
acos (defined in Expression)	Expression	friend
asin (defined in Expression)	Expression	friend
atan (defined in Expression)	Expression	friend
atan2 (defined in Expression)	Expression	friend
cos (defined in Expression)	Expression	friend
cosh (defined in Expression)	Expression	friend
Differentiate(const Variable &x) const	Expression
E()	Expression	static
EqualTo(const Expression &e) const	Expression
Evaluate(const Environment &env=Environment{}) const	Expression
EvaluatePartial(const Environment &env) const	Expression
exp (defined in Expression)	Expression	friend
Expand() const	Expression
Expression(const Expression &) (defined in Expression)	Expression
Expression(Expression &&) noexcept (defined in Expression)	Expression
Expression()	Expression
Expression(double d)	Expression
Expression(const Variable &var)	Expression
ExpressionAddFactory (defined in Expression)	Expression	friend
ExpressionCell (defined in Expression)	Expression	friend
ExpressionMulFactory (defined in Expression)	Expression	friend
get_hash() const	Expression
get_kind() const	Expression
GetVariables() const	Expression
if_then_else(const Formula &f_cond, const Expression &e_then, const Expression &e_else)	Expression	friend
include_ite() const	Expression
is_abs(const Expression &e)	Expression	friend
is_acos(const Expression &e)	Expression	friend
is_addition(const Expression &e)	Expression	friend
is_asin(const Expression &e)	Expression	friend
is_atan(const Expression &e)	Expression	friend
is_atan2(const Expression &e)	Expression	friend
is_constant(const Expression &e)	Expression	friend
is_cos(const Expression &e)	Expression	friend
is_cosh(const Expression &e)	Expression	friend
is_division(const Expression &e)	Expression	friend
is_exp(const Expression &e)	Expression	friend
is_if_then_else(const Expression &e)	Expression	friend
is_log(const Expression &e)	Expression	friend
is_max(const Expression &e)	Expression	friend
is_min(const Expression &e)	Expression	friend
is_multiplication(const Expression &e)	Expression	friend
is_polynomial() const	Expression
is_pow(const Expression &e)	Expression	friend
is_real_constant(const Expression &e)	Expression	friend
is_sin(const Expression &e)	Expression	friend
is_sinh(const Expression &e)	Expression	friend
is_sqrt(const Expression &e)	Expression	friend
is_tan(const Expression &e)	Expression	friend
is_tanh(const Expression &e)	Expression	friend
is_uninterpreted_function(const Expression &e)	Expression	friend
is_variable(const Expression &e)	Expression	friend
Less(const Expression &e) const	Expression
log (defined in Expression)	Expression	friend
max (defined in Expression)	Expression	friend
min (defined in Expression)	Expression	friend
NaN()	Expression	static
One()	Expression	static
operator* (defined in Expression)	Expression	friend
operator* (defined in Expression)	Expression	friend
operator* (defined in Expression)	Expression	friend
operator* (defined in Expression)	Expression	friend
operator*= (defined in Expression)	Expression	friend
operator+ (defined in Expression)	Expression	friend
operator+ (defined in Expression)	Expression	friend
operator+ (defined in Expression)	Expression	friend
operator+ (defined in Expression)	Expression	friend
operator+(const Expression &e)	Expression	friend
operator++()	Expression
operator++(int)	Expression
operator+= (defined in Expression)	Expression	friend
operator- (defined in Expression)	Expression	friend
operator- (defined in Expression)	Expression	friend
operator- (defined in Expression)	Expression	friend
operator- (defined in Expression)	Expression	friend
operator-(const Expression &e)	Expression	friend
operator- (defined in Expression)	Expression	friend
operator--()	Expression
operator--(int)	Expression
operator-= (defined in Expression)	Expression	friend
operator/ (defined in Expression)	Expression	friend
operator/= (defined in Expression)	Expression	friend
operator<< (defined in Expression)	Expression	friend
operator=(const Expression &) (defined in Expression)	Expression
operator=(Expression &&) noexcept (defined in Expression)	Expression
Pi()	Expression	static
pow (defined in Expression)	Expression	friend
real_constant(double lb, double ub, bool use_lb_as_representative)	Expression	friend
sin (defined in Expression)	Expression	friend
sinh (defined in Expression)	Expression	friend
sqrt (defined in Expression)	Expression	friend
Substitute(const Variable &var, const Expression &e) const	Expression
Substitute(const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_subst) const	Expression
Substitute(const ExpressionSubstitution &expr_subst) const	Expression
Substitute(const FormulaSubstitution &formula_subst) const	Expression
swap (defined in Expression)	Expression	friend
tan (defined in Expression)	Expression	friend
tanh (defined in Expression)	Expression	friend
to_abs(const Expression &e)	Expression	friend
to_acos(const Expression &e)	Expression	friend
to_addition(const Expression &e)	Expression	friend
to_addition(Expression &e)	Expression	friend
to_asin(const Expression &e)	Expression	friend
to_atan(const Expression &e)	Expression	friend
to_atan2(const Expression &e)	Expression	friend
to_binary(const Expression &e)	Expression	friend
to_constant(const Expression &e)	Expression	friend
to_cos(const Expression &e)	Expression	friend
to_cosh(const Expression &e)	Expression	friend
to_division(const Expression &e)	Expression	friend
to_exp(const Expression &e)	Expression	friend
to_if_then_else(const Expression &e)	Expression	friend
to_log(const Expression &e)	Expression	friend
to_max(const Expression &e)	Expression	friend
to_min(const Expression &e)	Expression	friend
to_multiplication(const Expression &e)	Expression	friend
to_multiplication(Expression &e)	Expression	friend
to_pow(const Expression &e)	Expression	friend
to_real_constant(const Expression &e)	Expression	friend
to_sin(const Expression &e)	Expression	friend
to_sinh(const Expression &e)	Expression	friend
to_sqrt(const Expression &e)	Expression	friend
to_string() const	Expression
to_tan(const Expression &e)	Expression	friend
to_tanh(const Expression &e)	Expression	friend
to_unary(const Expression &e)	Expression	friend
to_uninterpreted_function(const Expression &e)	Expression	friend
to_variable(const Expression &e)	Expression	friend
uninterpreted_function(const std::string &name, const Variables &vars)	Expression	friend
Zero()	Expression	static
~Expression() (defined in Expression)	Expression