SVF::IntervalValue Member List

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