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