storm::models::sparse::StateLabeling Member List

This is the complete list of members for storm::models::sparse::StateLabeling, 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
addLabelToState(std::string const &label, storm::storage::sparse::state_type state)	storm::models::sparse::StateLabeling
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
getLabelsOfState(storm::storage::sparse::state_type state) const	storm::models::sparse::StateLabeling
getNumberOfItems() const	storm::models::sparse::ItemLabeling
getNumberOfLabels() const	storm::models::sparse::ItemLabeling
getStateHasLabel(std::string const &label, storm::storage::sparse::state_type state) const	storm::models::sparse::StateLabeling
getStates(std::string const &label) const	storm::models::sparse::StateLabeling
getSubLabeling(storm::storage::BitVector const &states) const	storm::models::sparse::StateLabeling
hash() const	storm::models::sparse::ItemLabeling	virtual
isChoiceLabeling() const	storm::models::sparse::ItemLabeling	virtual
isStateLabeling() const override	storm::models::sparse::StateLabeling	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::StateLabeling	friend
operator=(StateLabeling const &other)=default	storm::models::sparse::StateLabeling
storm::models::sparse::ItemLabeling::operator=(ItemLabeling const &other)=default	storm::models::sparse::ItemLabeling
operator==(StateLabeling const &other) const	storm::models::sparse::StateLabeling
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
removeLabelFromState(std::string const &label, storm::storage::sparse::state_type state)	storm::models::sparse::StateLabeling
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
setStates(std::string const &label, storage::BitVector const &labeling)	storm::models::sparse::StateLabeling
setStates(std::string const &label, storage::BitVector &&labeling)	storm::models::sparse::StateLabeling
StateLabeling(uint_fast64_t stateCount=0)	storm::models::sparse::StateLabeling
StateLabeling(StateLabeling const &other)=default	storm::models::sparse::StateLabeling
StateLabeling(ItemLabeling const &other)	storm::models::sparse::StateLabeling
StateLabeling(ItemLabeling const &&other)	storm::models::sparse::StateLabeling
~ItemLabeling()=default	storm::models::sparse::ItemLabeling	virtual