SVF::BoundedInt Member List

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

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