Static Value-Flow Analysis
|
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 |