klee
|
This is the complete list of members for ValueRange, including all inherited members.
add(const ValueRange &b, unsigned width) const | ValueRange | inline |
binaryAnd(const ValueRange &b) const | ValueRange | inline |
binaryAnd(std::uint64_t b) const | ValueRange | inline |
binaryOr(ValueRange b) const | ValueRange | inline |
binaryOr(std::uint64_t b) const | ValueRange | inline |
binaryShiftLeft(unsigned bits) const | ValueRange | inline |
binaryShiftRight(unsigned bits) const | ValueRange | inline |
binaryXor(ValueRange b) const | ValueRange | inline |
concat(const ValueRange &b, unsigned bits) const | ValueRange | inline |
contains(std::uint64_t value) const | ValueRange | inline |
extract(std::uint64_t lowBit, std::uint64_t maxBit) const | ValueRange | inline |
intersects(const ValueRange &b) const | ValueRange | inline |
isEmpty() const noexcept | ValueRange | inline |
isFixed() const noexcept | ValueRange | inline |
isFullRange(unsigned bits) const noexcept | ValueRange | inline |
m_max | ValueRange | private |
m_min | ValueRange | private |
max() const noexcept | ValueRange | inline |
maxSigned(unsigned bits) const | ValueRange | inline |
mayEqual(const std::uint64_t b) const noexcept | ValueRange | inline |
mayEqual(const ValueRange &b) const | ValueRange | inline |
min() const noexcept | ValueRange | inline |
minSigned(unsigned bits) const | ValueRange | inline |
mul(const ValueRange &b, unsigned width) const | ValueRange | inline |
mustEqual(const std::uint64_t b) const noexcept | ValueRange | inline |
mustEqual(const ValueRange &b) const noexcept | ValueRange | inline |
operator!=(const ValueRange &b) const noexcept | ValueRange | inline |
operator=(const ValueRange &other) noexcept=default | ValueRange | |
operator=(ValueRange &&other) noexcept=default | ValueRange | |
operator==(const ValueRange &b) const noexcept | ValueRange | inline |
print(llvm::raw_ostream &os) const | ValueRange | inline |
sdiv(const ValueRange &b, unsigned width) const | ValueRange | inline |
set_difference(const ValueRange &b) const | ValueRange | inline |
set_intersection(const ValueRange &b) const | ValueRange | inline |
set_union(const ValueRange &b) const | ValueRange | inline |
srem(const ValueRange &b, unsigned width) const | ValueRange | inline |
sub(const ValueRange &b, unsigned width) const | ValueRange | inline |
udiv(const ValueRange &b, unsigned width) const | ValueRange | inline |
urem(const ValueRange &b, unsigned width) const | ValueRange | inline |
ValueRange() noexcept=default | ValueRange | |
ValueRange(const ref< ConstantExpr > &ce) | ValueRange | inline |
ValueRange(std::uint64_t value) noexcept | ValueRange | inlineexplicit |
ValueRange(std::uint64_t _min, std::uint64_t _max) noexcept | ValueRange | inline |
ValueRange(const ValueRange &other) noexcept=default | ValueRange | |
ValueRange(ValueRange &&other) noexcept=default | ValueRange |