Static Value-Flow Analysis
|
This is the complete list of members for SVF::IntervalValue, including all inherited members.
_lb | SVF::IntervalValue | private |
_ub | SVF::IntervalValue | private |
bottom() | SVF::IntervalValue | inlinestatic |
contain(const IntervalValue &other) const | SVF::IntervalValue | inline |
containedWithin(const IntervalValue &other) const | SVF::IntervalValue | inline |
contains(int n) const | SVF::IntervalValue | inline |
create(const BoundedInt &lb, const BoundedInt &ub) | SVF::IntervalValue | inlineprivatestatic |
dump(std::ostream &o) const | SVF::IntervalValue | inline |
equals(const IntervalValue &other) const | SVF::IntervalValue | inline |
geq(const IntervalValue &other) const | SVF::IntervalValue | inline |
getIntNumeral() const | SVF::IntervalValue | inline |
getNumeral() const | SVF::IntervalValue | inline |
getRealNumeral() const | SVF::IntervalValue | inline |
IntervalValue() | SVF::IntervalValue | inlineexplicit |
IntervalValue(s64_t n) | SVF::IntervalValue | inlineexplicit |
IntervalValue(s32_t n) | SVF::IntervalValue | inlineexplicit |
IntervalValue(u32_t n) | SVF::IntervalValue | inlineexplicit |
IntervalValue(double n) | SVF::IntervalValue | inlineexplicit |
IntervalValue(BoundedInt n) | SVF::IntervalValue | inlineexplicit |
IntervalValue(BoundedInt lb, BoundedInt ub) | SVF::IntervalValue | inlineexplicit |
IntervalValue(s64_t lb, s64_t ub) | SVF::IntervalValue | inlineexplicit |
IntervalValue(double lb, double ub) | SVF::IntervalValue | inlineexplicit |
IntervalValue(float lb, float ub) | SVF::IntervalValue | inlineexplicit |
IntervalValue(s32_t lb, s32_t ub) | SVF::IntervalValue | inlineexplicit |
IntervalValue(u32_t lb, u32_t ub) | SVF::IntervalValue | inlineexplicit |
IntervalValue(u64_t lb, u64_t ub) | SVF::IntervalValue | inlineexplicit |
IntervalValue(const IntervalValue &)=default | SVF::IntervalValue | |
IntervalValue(IntervalValue &&)=default | SVF::IntervalValue | |
is_infinite(const BoundedInt &e) | SVF::IntervalValue | inlinestatic |
is_infinite() const | SVF::IntervalValue | inline |
is_int() const | SVF::IntervalValue | inline |
is_numeral() const | SVF::IntervalValue | inline |
is_real() const | SVF::IntervalValue | inline |
is_zero() const | SVF::IntervalValue | inline |
isBottom() const | SVF::IntervalValue | inline |
isTop() const | SVF::IntervalValue | inline |
join_with(const IntervalValue &other) | SVF::IntervalValue | inline |
lb() const | SVF::IntervalValue | inline |
leq(const IntervalValue &other) const | SVF::IntervalValue | inline |
meet_with(const IntervalValue &other) | SVF::IntervalValue | inline |
minus_infinity() | SVF::IntervalValue | inlinestatic |
narrow_with(const IntervalValue &other) | SVF::IntervalValue | inline |
operator!=(const IntervalValue &other) const | SVF::IntervalValue | inline |
operator&(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
operator*(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
operator+(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
operator-(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
operator/(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
operator<<(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
operator=(const IntervalValue &a)=default | SVF::IntervalValue | |
operator=(IntervalValue &&)=default | SVF::IntervalValue | |
operator==(const IntervalValue &other) const | SVF::IntervalValue | inline |
operator>>(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
operator^(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
operator|(const IntervalValue &lhs, const IntervalValue &rhs) | SVF::IntervalValue | friend |
plus_infinity() | SVF::IntervalValue | inlinestatic |
set_to_bottom() | SVF::IntervalValue | inline |
set_to_top() | SVF::IntervalValue | inline |
setValue(const BoundedInt &lb, const BoundedInt &ub) | SVF::IntervalValue | inlineprivate |
top() | SVF::IntervalValue | inlinestatic |
toString() const | SVF::IntervalValue | inline |
ub() const | SVF::IntervalValue | inline |
widen_with(const IntervalValue &other) | SVF::IntervalValue | inline |
~IntervalValue()=default | SVF::IntervalValue |