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::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