Storm 1.10.0.1
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(uint64_t length, bool init=false)storm::storage::BitVectorexplicit
BitVector(uint64_t length, InputIterator first, InputIterator last)storm::storage::BitVector
BitVector(uint64_t length, std::vector< uint64_t > setEntries)storm::storage::BitVector
BitVector(BitVector const &other)storm::storage::BitVector
BitVector(BitVector &&other)storm::storage::BitVector
clear()storm::storage::BitVector
compareAndSwap(uint64_t start1, uint64_t start2, uint64_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(uint64_t index) conststorm::storage::BitVector
get(uint64_t bitIndex, uint64_t numberOfBits) conststorm::storage::BitVector
getAsInt(uint64_t bitIndex, uint64_t numberOfBits) conststorm::storage::BitVector
getNextSetIndex(uint64_t startingIndex) conststorm::storage::BitVector
getNextUnsetIndex(uint64_t startingIndex) conststorm::storage::BitVector
getNumberOfSetBits() conststorm::storage::BitVector
getNumberOfSetBitsBeforeIndex(uint64_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(uint64_t bitIndex) conststorm::storage::BitVector
grow(uint64_t minimumLength, bool init=false)storm::storage::BitVector
hasUniqueSetBit() conststorm::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(uint64_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[](uint64_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(uint64_t newLength, bool init=false)storm::storage::BitVector
set(uint64_t index, bool value=true)storm::storage::BitVector
set(InputIterator first, InputIterator last, bool value=true)storm::storage::BitVector
set(uint64_t bitIndex, BitVector const &other)storm::storage::BitVector
setFromInt(uint64_t bitIndex, uint64_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