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::ItemLabeling | protectedvirtual |
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() const | storm::models::sparse::ItemLabeling | |
asChoiceLabeling() | storm::models::sparse::ItemLabeling | |
asStateLabeling() const | storm::models::sparse::ItemLabeling | |
asStateLabeling() | storm::models::sparse::ItemLabeling | |
ChoiceLabeling(uint_fast64_t choiceCount=0) | storm::models::sparse::ChoiceLabeling | |
ChoiceLabeling(ChoiceLabeling const &other)=default | storm::models::sparse::ChoiceLabeling | |
ChoiceLabeling(ItemLabeling const &other) | storm::models::sparse::ChoiceLabeling | |
ChoiceLabeling(ItemLabeling const &&other) | storm::models::sparse::ChoiceLabeling | |
containsLabel(std::string const &label) const | storm::models::sparse::ItemLabeling | |
generateUniqueLabel(const std::string &prefix) const | storm::models::sparse::ItemLabeling | protected |
getChoiceHasLabel(std::string const &label, uint64_t choice) const | storm::models::sparse::ChoiceLabeling | |
getChoices(std::string const &label) const | storm::models::sparse::ChoiceLabeling | |
getItemHasLabel(std::string const &label, uint64_t item) const | storm::models::sparse::ItemLabeling | protectedvirtual |
getItems(std::string const &label) const | storm::models::sparse::ItemLabeling | protectedvirtual |
getLabels() const | storm::models::sparse::ItemLabeling | |
getLabelsOfChoice(uint64_t choice) const | storm::models::sparse::ChoiceLabeling | |
getLabelsOfItem(uint64_t item) const | storm::models::sparse::ItemLabeling | protectedvirtual |
getNumberOfItems() const | storm::models::sparse::ItemLabeling | |
getNumberOfLabels() const | storm::models::sparse::ItemLabeling | |
getSubLabeling(storm::storage::BitVector const &choices) const | storm::models::sparse::ChoiceLabeling | |
hash() const | storm::models::sparse::ItemLabeling | virtual |
isChoiceLabeling() const override | storm::models::sparse::ChoiceLabeling | virtual |
isStateLabeling() const | storm::models::sparse::ItemLabeling | virtual |
itemCount | storm::models::sparse::ItemLabeling | protected |
ItemLabeling(uint64_t itemCount=0) | storm::models::sparse::ItemLabeling | explicit |
ItemLabeling(ItemLabeling const &other)=default | storm::models::sparse::ItemLabeling | |
join(ItemLabeling const &other) | storm::models::sparse::ItemLabeling | |
labelings | storm::models::sparse::ItemLabeling | protected |
nameToLabelingIndexMap | storm::models::sparse::ItemLabeling | protected |
operator<< | storm::models::sparse::ChoiceLabeling | friend |
operator=(ChoiceLabeling const &other)=default | storm::models::sparse::ChoiceLabeling | |
storm::models::sparse::ItemLabeling::operator=(ItemLabeling const &other)=default | storm::models::sparse::ItemLabeling | |
operator==(ChoiceLabeling const &other) const | storm::models::sparse::ChoiceLabeling | |
storm::models::sparse::ItemLabeling::operator==(ItemLabeling const &other) const | storm::models::sparse::ItemLabeling | |
permuteItems(std::vector< uint64_t > const &inversePermutation) | storm::models::sparse::ItemLabeling | |
printCompleteLabelingInformationToStream(std::ostream &out=std::cout) const | storm::models::sparse::ItemLabeling | |
printLabelingInformationToStream(std::ostream &out=std::cout) const | storm::models::sparse::ItemLabeling | |
removeLabel(std::string const &label) | storm::models::sparse::ItemLabeling | |
removeLabelFromItem(std::string const &label, uint64_t item) | storm::models::sparse::ItemLabeling | protectedvirtual |
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::ItemLabeling | protectedvirtual |
setItems(std::string const &label, storage::BitVector &&labeling) | storm::models::sparse::ItemLabeling | protectedvirtual |
~ItemLabeling()=default | storm::models::sparse::ItemLabeling | virtual |