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