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	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	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	SVF::BoundedInt	friend
leq(const BoundedInt &rhs) const	SVF::BoundedInt	inline
max	SVF::BoundedInt	friend
max(std::vector< BoundedInt > &_l)	SVF::BoundedInt	inlinestatic
min	SVF::BoundedInt	friend
min(std::vector< BoundedInt > &_l)	SVF::BoundedInt	inlinestatic
minus_infinity()	SVF::BoundedInt	inlinestatic
operator!	SVF::BoundedInt	friend
operator!=	SVF::BoundedInt	friend
operator%	SVF::BoundedInt	friend
operator&	SVF::BoundedInt	friend
operator&&	SVF::BoundedInt	friend
operator*	SVF::BoundedInt	friend
operator+	SVF::BoundedInt	friend
operator-	SVF::BoundedInt	friend
operator-	SVF::BoundedInt	friend
operator/	SVF::BoundedInt	friend
operator<	SVF::BoundedInt	friend
operator<<	SVF::BoundedInt	friend
operator<<	SVF::BoundedInt	friend
operator<=	SVF::BoundedInt	friend
operator=(const BoundedInt &rhs)	SVF::BoundedInt	inline
operator=(BoundedInt &&rhs)	SVF::BoundedInt	inline
operator==	SVF::BoundedInt	friend
operator>	SVF::BoundedInt	friend
operator>=	SVF::BoundedInt	friend
operator>>	SVF::BoundedInt	friend
operator^	SVF::BoundedInt	friend
operator|	SVF::BoundedInt	friend
operator||	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