ChoiceLabeling.h

Go to the documentation of this file.

#pragma once
 
#include "storm/models/sparse/ItemLabeling.h"
 
namespace storm {
namespace models {
namespace sparse {
 
class ChoiceLabeling : public ItemLabeling {
   public:
    ChoiceLabeling(uint_fast64_t choiceCount = 0);
 
    ChoiceLabeling(ChoiceLabeling const& other) = default;
    ChoiceLabeling(ItemLabeling const& other);
    ChoiceLabeling(ItemLabeling const&& other);
    ChoiceLabeling& operator=(ChoiceLabeling const& other) = default;
 
    virtual bool isChoiceLabeling() const override;
 
    bool operator==(ChoiceLabeling const& other) const;
 
    ChoiceLabeling getSubLabeling(storm::storage::BitVector const& choices) const;
 
    std::set<std::string> getLabelsOfChoice(uint64_t choice) const;
 
    void addLabelToChoice(std::string const& label, uint64_t choice);
 
    bool getChoiceHasLabel(std::string const& label, uint64_t choice) const;
 
    storm::storage::BitVector const& getChoices(std::string const& label) const;
 
    void setChoices(std::string const& label, storage::BitVector const& labeling);
 
    void setChoices(std::string const& label, storage::BitVector&& labeling);
 
    friend std::ostream& operator<<(std::ostream& out, ChoiceLabeling const& labeling);
};
 
}  // namespace sparse
}  // namespace models
}  // namespace storm