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