ExpressionRealConstant Member List

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

Differentiate(const Variable &x) const override	ExpressionRealConstant	virtual
Display(std::ostream &os) const override	ExpressionRealConstant	virtual
EqualTo(const ExpressionCell &e) const override	ExpressionRealConstant	virtual
Evaluate(const Environment &env) const override	ExpressionRealConstant	virtual
Expand() override	ExpressionRealConstant	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
ExpressionRealConstant(double lb, double ub, bool use_lb_as_representative) (defined in ExpressionRealConstant)	ExpressionRealConstant
get_hash() const	ExpressionCell	inline
get_kind() const	ExpressionCell	inline
get_lb() const (defined in ExpressionRealConstant)	ExpressionRealConstant	inline
get_ub() const (defined in ExpressionRealConstant)	ExpressionRealConstant	inline
get_value() const (defined in ExpressionRealConstant)	ExpressionRealConstant	inline
GetExpression()	ExpressionCell	protected
GetVariables() const	ExpressionCell
include_ite() const	ExpressionCell	inline
is_polynomial() const	ExpressionCell	inline
Less(const ExpressionCell &e) const override	ExpressionRealConstant	virtual
operator=(ExpressionCell &&e)=delete	ExpressionCell
operator=(const ExpressionCell &e)=delete	ExpressionCell
Substitute(const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_subst) override	ExpressionRealConstant	virtual
use_count() const	ExpressionCell	inline
~ExpressionCell()=default	ExpressionCell	protectedvirtual