|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include <array>#include <bit>#include <cstdint>#include <ranges>#include "storm/utility/macros.h"

Go to the source code of this file.
Namespaces | |
| namespace | storm |
| namespace | storm::utility |
Functions | |
| template<typename T > | |
| T | storm::utility::byteSwap (T const t) |
| Swaps the byte representation of the given value, (i.e., swaps endianness) Taken from https://en.cppreference.com/w/cpp/numeric/byteswap. | |
| template<typename T , bool ReverseBytes = true> | |
| T | storm::utility::reverseBits (T const t) |
| Swaps the bits in the bit representation of the given value. | |
| uint64_t | smallestIntWithNBitsSet (uint64_t n) |
| uint64_t | nextBitPermutation (uint64_t v) |
| The next bit permutation in a lexicographical sense. | |
|
inline |
The next bit permutation in a lexicographical sense.
Example: 00010011, 00010101, 00010110, 00011001, 00011010, 00011100, 00100011, and so forth
From https://graphics.stanford.edu/~seander/bithacks.html#NextBitPermutation
Definition at line 74 of file bitoperations.h.
|
inline |
Definition at line 59 of file bitoperations.h.