klee
ValueRange Member List

This is the complete list of members for ValueRange, including all inherited members.

add(const ValueRange &b, unsigned width) constValueRangeinline
binaryAnd(const ValueRange &b) constValueRangeinline
binaryAnd(std::uint64_t b) constValueRangeinline
binaryOr(ValueRange b) constValueRangeinline
binaryOr(std::uint64_t b) constValueRangeinline
binaryShiftLeft(unsigned bits) constValueRangeinline
binaryShiftRight(unsigned bits) constValueRangeinline
binaryXor(ValueRange b) constValueRangeinline
concat(const ValueRange &b, unsigned bits) constValueRangeinline
contains(std::uint64_t value) constValueRangeinline
extract(std::uint64_t lowBit, std::uint64_t maxBit) constValueRangeinline
intersects(const ValueRange &b) constValueRangeinline
isEmpty() const noexceptValueRangeinline
isFixed() const noexceptValueRangeinline
isFullRange(unsigned bits) const noexceptValueRangeinline
m_maxValueRangeprivate
m_minValueRangeprivate
max() const noexceptValueRangeinline
maxSigned(unsigned bits) constValueRangeinline
mayEqual(const std::uint64_t b) const noexceptValueRangeinline
mayEqual(const ValueRange &b) constValueRangeinline
min() const noexceptValueRangeinline
minSigned(unsigned bits) constValueRangeinline
mul(const ValueRange &b, unsigned width) constValueRangeinline
mustEqual(const std::uint64_t b) const noexceptValueRangeinline
mustEqual(const ValueRange &b) const noexceptValueRangeinline
operator!=(const ValueRange &b) const noexceptValueRangeinline
operator=(const ValueRange &other) noexcept=defaultValueRange
operator=(ValueRange &&other) noexcept=defaultValueRange
operator==(const ValueRange &b) const noexceptValueRangeinline
print(llvm::raw_ostream &os) constValueRangeinline
sdiv(const ValueRange &b, unsigned width) constValueRangeinline
set_difference(const ValueRange &b) constValueRangeinline
set_intersection(const ValueRange &b) constValueRangeinline
set_union(const ValueRange &b) constValueRangeinline
srem(const ValueRange &b, unsigned width) constValueRangeinline
sub(const ValueRange &b, unsigned width) constValueRangeinline
udiv(const ValueRange &b, unsigned width) constValueRangeinline
urem(const ValueRange &b, unsigned width) constValueRangeinline
ValueRange() noexcept=defaultValueRange
ValueRange(const ref< ConstantExpr > &ce)ValueRangeinline
ValueRange(std::uint64_t value) noexceptValueRangeinlineexplicit
ValueRange(std::uint64_t _min, std::uint64_t _max) noexceptValueRangeinline
ValueRange(const ValueRange &other) noexcept=defaultValueRange
ValueRange(ValueRange &&other) noexcept=defaultValueRange