SVF::BoundedDouble Member List

This is the complete list of members for SVF::BoundedDouble, including all inherited members.

_fVal	SVF::BoundedDouble	protected
abs(const BoundedDouble &lhs)	SVF::BoundedDouble	friend
BoundedDouble()=default	SVF::BoundedDouble	protected
BoundedDouble(double fVal)	SVF::BoundedDouble	inline
BoundedDouble(const BoundedDouble &rhs)	SVF::BoundedDouble	inline
BoundedDouble(BoundedDouble &&rhs)	SVF::BoundedDouble	inline
doubleEqual(double a, double b)	SVF::BoundedDouble	inlinestatic
eq(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
equal(const BoundedDouble &rhs) const	SVF::BoundedDouble	inline
geq(const BoundedDouble &rhs) const	SVF::BoundedDouble	inline
getFVal() const	SVF::BoundedDouble	inline
getIntNumeral() const	SVF::BoundedDouble	inline
getNumeral() const	SVF::BoundedDouble	inline
getRealNumeral() const	SVF::BoundedDouble	inline
is_infinity() const	SVF::BoundedDouble	inline
is_int() const	SVF::BoundedDouble	inline
is_minus_infinity() const	SVF::BoundedDouble	inline
is_plus_infinity() const	SVF::BoundedDouble	inline
is_real() const	SVF::BoundedDouble	inline
is_true() const	SVF::BoundedDouble	inline
is_zero() const	SVF::BoundedDouble	inline
isZero(const BoundedDouble &expr)	SVF::BoundedDouble	inlinestatic
ite(const BoundedDouble &cond, const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
leq(const BoundedDouble &rhs) const	SVF::BoundedDouble	inline
max(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
max(std::vector< BoundedDouble > &_l)	SVF::BoundedDouble	inlinestatic
min(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
min(std::vector< BoundedDouble > &_l)	SVF::BoundedDouble	inlinestatic
minus_infinity()	SVF::BoundedDouble	inlinestatic
operator!(const BoundedDouble &lhs)	SVF::BoundedDouble	friend
operator!=(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator%(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator&(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator&&(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator*(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator+(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator-(const BoundedDouble &lhs)	SVF::BoundedDouble	friend
operator-(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator/(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator<(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator<<(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator<<(std::ostream &out, const BoundedDouble &expr)	SVF::BoundedDouble	friend
operator<=(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator=(const BoundedDouble &rhs)	SVF::BoundedDouble	inline
operator=(BoundedDouble &&rhs)	SVF::BoundedDouble	inline
operator==(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator>(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator>=(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator>>(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator^(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator|(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
operator||(const BoundedDouble &lhs, const BoundedDouble &rhs)	SVF::BoundedDouble	friend
plus_infinity()	SVF::BoundedDouble	inlinestatic
safeAdd(double lhs, double rhs)	SVF::BoundedDouble	inlinestatic
safeDiv(double lhs, double rhs)	SVF::BoundedDouble	inlinestatic
safeMul(double lhs, double rhs)	SVF::BoundedDouble	inlinestatic
set_minus_infinity()	SVF::BoundedDouble	inline
set_plus_infinity()	SVF::BoundedDouble	inline
to_string() const	SVF::BoundedDouble	inlinevirtual
~BoundedDouble()	SVF::BoundedDouble	inlinevirtual