Place.h

Go to the documentation of this file.

#ifndef STORM_STORAGE_GSPN_PLACE_H_
#define STORM_STORAGE_GSPN_PLACE_H_
 
#include <string>
#include "boost/optional.hpp"
 
namespace storm {
namespace gspn {
class Place {
   public:
    Place(uint64_t id);
 
    void setName(std::string const& name);
 
    std::string getName() const;
 
    uint64_t getID() const;
 
    void setNumberOfInitialTokens(uint64_t tokens);
 
    uint64_t getNumberOfInitialTokens() const;
 
    void setCapacity(boost::optional<uint64_t> const& capacity);
 
    uint64_t getCapacity() const;
 
    bool hasRestrictedCapacity() const;
 
   private:
    // contains the number of initial tokens of this place
    uint64_t numberOfInitialTokens = 0;
 
    // unique id (is used to refer to a specific place in a bitvector)
    uint64_t id = 0;
 
    // name which is used in pnml file
    std::string name;
 
    // capacity of this place
    // -1 indicates that the capacity is not set
    // other non-negative values represents the capacity
    boost::optional<uint64_t> capacity = boost::none;
};
}  // namespace gspn
}  // namespace storm
 
#endif  // STORM_STORAGE_GSPN_PLACE_H_