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::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
containsLabel(std::string const &label) const	storm::models::sparse::ItemLabeling
generateUniqueLabel(const std::string &prefix) const	storm::models::sparse::ItemLabeling	protected
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
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 &items) const	storm::models::sparse::ItemLabeling	protected
hash() const	storm::models::sparse::ItemLabeling	virtual
isChoiceLabeling() const	storm::models::sparse::ItemLabeling	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::ItemLabeling	friend
operator=(ItemLabeling const &other)=default	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
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