|
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 |
1.9.1