bitoperations.h

Go to the documentation of this file.

#pragma once
#include <cstdint>
 
#include "storm/utility/macros.h"
 
inline uint64_t smallestIntWithNBitsSet(uint64_t n) {
    STORM_LOG_ASSERT(n < 64, "Input is too large.");
    if (n == 0)
        return 0;
    return (1ul << n) - 1;
}
 
inline uint64_t nextBitPermutation(uint64_t v) {
    if (v == 0)
        return 0;
    uint64_t t = (v | (v - 1)) + 1;
    return t | ((((t & -t) / (v & -v)) >> 1) - 1);
}