StateLabeling.h

Go to the documentation of this file.

#pragma once
 
#include <ostream>
#include <set>
#include <unordered_map>
 
#include "storm/models/sparse/ItemLabeling.h"
#include "storm/storage/sparse/StateType.h"
 
#include "storm/storage/BitVector.h"
 
namespace storm {
namespace models {
namespace sparse {
 
class StateLabeling : public ItemLabeling {
   public:
    StateLabeling(uint_fast64_t stateCount = 0);
 
    StateLabeling(StateLabeling const& other) = default;
    StateLabeling(ItemLabeling const& other);
    StateLabeling(ItemLabeling const&& other);
    StateLabeling& operator=(StateLabeling const& other) = default;
 
    virtual bool isStateLabeling() const override;
 
    bool operator==(StateLabeling const& other) const;
 
    StateLabeling getSubLabeling(storm::storage::BitVector const& states) const;
 
    std::set<std::string> getLabelsOfState(storm::storage::sparse::state_type state) const;
 
    void addLabelToState(std::string const& label, storm::storage::sparse::state_type state);
 
    void removeLabelFromState(std::string const& label, storm::storage::sparse::state_type state);
 
    bool getStateHasLabel(std::string const& label, storm::storage::sparse::state_type state) const;
 
    storm::storage::BitVector const& getStates(std::string const& label) const;
 
    void setStates(std::string const& label, storage::BitVector const& labeling);
 
    void setStates(std::string const& label, storage::BitVector&& labeling);
 
    friend std::ostream& operator<<(std::ostream& out, StateLabeling const& labeling);
};
 
}  // namespace sparse
}  // namespace models
}  // namespace storm