Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::BitVector Member List

This is the complete list of members for storm::storage::BitVector, including all inherited members.

begin() conststorm::storage::BitVector
begin(uint64_t lowerBound) conststorm::storage::BitVector
BitVector()storm::storage::BitVector
BitVector(uint_fast64_t length, bool init=false)storm::storage::BitVectorexplicit
BitVector(uint_fast64_t length, InputIterator first, InputIterator last)storm::storage::BitVector
BitVector(uint_fast64_t length, std::vector< uint_fast64_t > setEntries)storm::storage::BitVector
BitVector(BitVector const &other)storm::storage::BitVector
BitVector(BitVector &&other)storm::storage::BitVector
clear()storm::storage::BitVector
compareAndSwap(uint_fast64_t start1, uint_fast64_t start2, uint_fast64_t length)storm::storage::BitVector
complement()storm::storage::BitVector
concat(BitVector const &extension)storm::storage::BitVector
empty() conststorm::storage::BitVector
end() conststorm::storage::BitVector
expandSize(bool init=false)storm::storage::BitVector
fill()storm::storage::BitVector
FNV1aBitVectorHashstorm::storage::BitVectorfriend
full() conststorm::storage::BitVector
get(uint_fast64_t index) conststorm::storage::BitVector
get(uint_fast64_t bitIndex, uint_fast64_t numberOfBits) conststorm::storage::BitVector
getAsInt(uint_fast64_t bitIndex, uint_fast64_t numberOfBits) conststorm::storage::BitVector
getNextIndexWithValue(uint64_t const *dataPtr, uint64_t startingIndex, uint64_t endIndex)storm::storage::BitVector
getNextSetIndex(uint_fast64_t startingIndex) conststorm::storage::BitVector
getNextUnsetIndex(uint_fast64_t startingIndex) conststorm::storage::BitVector
getNumberOfSetBits() conststorm::storage::BitVector
getNumberOfSetBitsBeforeIndex(uint_fast64_t index) conststorm::storage::BitVector
getNumberOfSetBitsBeforeIndices() conststorm::storage::BitVector
getSizeInBytes() conststorm::storage::BitVector
getStartOfOneSequenceBefore(uint64_t endIndex) conststorm::storage::BitVector
getStartOfZeroSequenceBefore(uint64_t endIndex) conststorm::storage::BitVector
getTwoBitsAligned(uint_fast64_t bitIndex) conststorm::storage::BitVector
grow(uint_fast64_t minimumLength, bool init=false)storm::storage::BitVector
implies(BitVector const &other) conststorm::storage::BitVector
increment()storm::storage::BitVector
isDisjointFrom(BitVector const &other) conststorm::storage::BitVector
isSubsetOf(BitVector const &other) conststorm::storage::BitVector
load(std::string const &description)storm::storage::BitVectorstatic
matches(uint_fast64_t bitIndex, BitVector const &other) conststorm::storage::BitVector
Murmur3BitVectorHashstorm::storage::BitVectorfriend
operator!=(BitVector const &other) conststorm::storage::BitVector
operator%(BitVector const &filter) conststorm::storage::BitVector
operator&(BitVector const &other) conststorm::storage::BitVector
operator&=(BitVector const &other)storm::storage::BitVector
operator<(BitVector const &other) conststorm::storage::BitVector
operator<<storm::storage::BitVectorfriend
operator=(BitVector const &other)storm::storage::BitVector
operator=(BitVector &&other)storm::storage::BitVector
operator==(BitVector const &other) conststorm::storage::BitVector
operator[](uint_fast64_t index) conststorm::storage::BitVector
operator^(BitVector const &other) conststorm::storage::BitVector
operator|(BitVector const &other) conststorm::storage::BitVector
operator|=(BitVector const &other)storm::storage::BitVector
operator~() conststorm::storage::BitVector
permute(std::vector< uint64_t > const &inversePermutation) conststorm::storage::BitVector
permuteGroupedVector(std::vector< uint64_t > const &inversePermutation, std::vector< uint64_t > const &rowGroupIndices) conststorm::storage::BitVector
rbegin() conststorm::storage::BitVector
rbegin(uint64_t upperBound) conststorm::storage::BitVector
rend() conststorm::storage::BitVector
resize(uint_fast64_t newLength, bool init=false)storm::storage::BitVector
set(uint_fast64_t index, bool value=true)storm::storage::BitVector
set(InputIterator first, InputIterator last, bool value=true)storm::storage::BitVector
set(uint_fast64_t bitIndex, BitVector const &other)storm::storage::BitVector
setFromInt(uint_fast64_t bitIndex, uint_fast64_t numberOfBits, uint64_t value)storm::storage::BitVector
setMultiple(uint64_t bitIndex, uint64_t nrOfBits, bool newValue=true)storm::storage::BitVector
size() conststorm::storage::BitVector
std::hash< storm::storage::BitVector >storm::storage::BitVectorfriend
store(std::ostream &) conststorm::storage::BitVector
~BitVector()storm::storage::BitVector