Marking.h

Go to the documentation of this file.

#pragma once
 
#include <cmath>
#include <map>
#include <memory>
#include "storm/storage/BitVector.h"
 
namespace storm {
namespace gspn {
class Marking {
   public:
    Marking(uint_fast64_t const& numberOfPlaces, std::map<uint_fast64_t, uint_fast64_t> const& numberOfBits, uint_fast64_t const& numberOfTotalBits);

    Marking(uint_fast64_t const& numberOfPlaces, std::map<uint_fast64_t, uint_fast64_t> const& numberOfBits, storm::storage::BitVector const& bitvector);

    uint_fast64_t getNumberOfPlaces() const;

    void setNumberOfTokensAt(uint_fast64_t const& place, uint_fast64_t const& numberOfTokens);

    uint_fast64_t getNumberOfTokensAt(uint_fast64_t const& place) const;

    std::shared_ptr<storm::storage::BitVector> getBitVector() const;

    bool operator==(const Marking& other) const;
 
   private:
    // the maximal number of places in the gspn
    uint_fast64_t numberOfPlaces;
 
    // number of bits for each place
    std::map<uint_fast64_t, uint_fast64_t> numberOfBits;
 
    // contains the information of the marking
    storm::storage::BitVector marking;
};
}  // namespace gspn
}  // namespace storm