Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::models::sparse::ItemLabeling Member List

This is the complete list of members for storm::models::sparse::ItemLabeling, including all inherited members.

addLabel(std::string const &label)storm::models::sparse::ItemLabeling
addLabel(std::string const &label, storage::BitVector const &labeling)storm::models::sparse::ItemLabeling
addLabel(std::string const &label, storage::BitVector &&labeling)storm::models::sparse::ItemLabeling
addLabelToItem(std::string const &label, uint64_t item)storm::models::sparse::ItemLabelingprotectedvirtual
addUniqueLabel(std::string const &prefix, storage::BitVector const &labeling)storm::models::sparse::ItemLabeling
addUniqueLabel(std::string const &prefix, storage::BitVector const &&labeling)storm::models::sparse::ItemLabeling
asChoiceLabeling() conststorm::models::sparse::ItemLabeling
asChoiceLabeling()storm::models::sparse::ItemLabeling
asStateLabeling() conststorm::models::sparse::ItemLabeling
asStateLabeling()storm::models::sparse::ItemLabeling
containsLabel(std::string const &label) conststorm::models::sparse::ItemLabeling
generateUniqueLabel(const std::string &prefix) conststorm::models::sparse::ItemLabelingprotected
getItemHasLabel(std::string const &label, uint64_t item) conststorm::models::sparse::ItemLabelingprotectedvirtual
getItems(std::string const &label) conststorm::models::sparse::ItemLabelingprotectedvirtual
getLabels() conststorm::models::sparse::ItemLabeling
getLabelsOfItem(uint64_t item) conststorm::models::sparse::ItemLabelingprotectedvirtual
getNumberOfItems() conststorm::models::sparse::ItemLabeling
getNumberOfLabels() conststorm::models::sparse::ItemLabeling
getSubLabeling(storm::storage::BitVector const &items) conststorm::models::sparse::ItemLabelingprotected
hash() conststorm::models::sparse::ItemLabelingvirtual
isChoiceLabeling() conststorm::models::sparse::ItemLabelingvirtual
isStateLabeling() conststorm::models::sparse::ItemLabelingvirtual
itemCountstorm::models::sparse::ItemLabelingprotected
ItemLabeling(uint64_t itemCount=0)storm::models::sparse::ItemLabelingexplicit
ItemLabeling(ItemLabeling const &other)=defaultstorm::models::sparse::ItemLabeling
join(ItemLabeling const &other)storm::models::sparse::ItemLabeling
labelingsstorm::models::sparse::ItemLabelingprotected
nameToLabelingIndexMapstorm::models::sparse::ItemLabelingprotected
operator<<storm::models::sparse::ItemLabelingfriend
operator=(ItemLabeling const &other)=defaultstorm::models::sparse::ItemLabeling
operator==(ItemLabeling const &other) conststorm::models::sparse::ItemLabeling
permuteItems(std::vector< uint64_t > const &inversePermutation)storm::models::sparse::ItemLabeling
printCompleteLabelingInformationToStream(std::ostream &out=std::cout) conststorm::models::sparse::ItemLabeling
printLabelingInformationToStream(std::ostream &out=std::cout) conststorm::models::sparse::ItemLabeling
removeLabel(std::string const &label)storm::models::sparse::ItemLabeling
removeLabelFromItem(std::string const &label, uint64_t item)storm::models::sparse::ItemLabelingprotectedvirtual
setItems(std::string const &label, storage::BitVector const &labeling)storm::models::sparse::ItemLabelingprotectedvirtual
setItems(std::string const &label, storage::BitVector &&labeling)storm::models::sparse::ItemLabelingprotectedvirtual
~ItemLabeling()=defaultstorm::models::sparse::ItemLabelingvirtual