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

This is the complete list of members for storm::models::sparse::ChoiceLabeling, 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
addLabelToChoice(std::string const &label, uint64_t choice)storm::models::sparse::ChoiceLabeling
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
ChoiceLabeling(uint_fast64_t choiceCount=0)storm::models::sparse::ChoiceLabeling
ChoiceLabeling(ChoiceLabeling const &other)=defaultstorm::models::sparse::ChoiceLabeling
ChoiceLabeling(ItemLabeling const &other)storm::models::sparse::ChoiceLabeling
ChoiceLabeling(ItemLabeling const &&other)storm::models::sparse::ChoiceLabeling
containsLabel(std::string const &label) conststorm::models::sparse::ItemLabeling
generateUniqueLabel(const std::string &prefix) conststorm::models::sparse::ItemLabelingprotected
getChoiceHasLabel(std::string const &label, uint64_t choice) conststorm::models::sparse::ChoiceLabeling
getChoices(std::string const &label) conststorm::models::sparse::ChoiceLabeling
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
getLabelsOfChoice(uint64_t choice) conststorm::models::sparse::ChoiceLabeling
getLabelsOfItem(uint64_t item) conststorm::models::sparse::ItemLabelingprotectedvirtual
getNumberOfItems() conststorm::models::sparse::ItemLabeling
getNumberOfLabels() conststorm::models::sparse::ItemLabeling
getSubLabeling(storm::storage::BitVector const &choices) conststorm::models::sparse::ChoiceLabeling
hash() conststorm::models::sparse::ItemLabelingvirtual
isChoiceLabeling() const overridestorm::models::sparse::ChoiceLabelingvirtual
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::ChoiceLabelingfriend
operator=(ChoiceLabeling const &other)=defaultstorm::models::sparse::ChoiceLabeling
storm::models::sparse::ItemLabeling::operator=(ItemLabeling const &other)=defaultstorm::models::sparse::ItemLabeling
operator==(ChoiceLabeling const &other) conststorm::models::sparse::ChoiceLabeling
storm::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
setChoices(std::string const &label, storage::BitVector const &labeling)storm::models::sparse::ChoiceLabeling
setChoices(std::string const &label, storage::BitVector &&labeling)storm::models::sparse::ChoiceLabeling
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