Transition.h

Go to the documentation of this file.

#pragma once
 
#include <map>
#include <unordered_map>
#include <vector>
#include "storm-gspn/storage/gspn/Marking.h"
#include "storm-gspn/storage/gspn/Place.h"
 
namespace storm {
namespace gspn {
class Transition {
   public:
    void setInputArcMultiplicity(storm::gspn::Place const& place, uint64_t multiplicity);
 
    bool removeInputArc(storm::gspn::Place const& place);
 
    bool existsInputArc(storm::gspn::Place const& place) const;
 
    void setOutputArcMultiplicity(storm::gspn::Place const& place, uint64_t multiplicity);
 
    bool removeOutputArc(storm::gspn::Place const& place);
 
    bool existsOutputArc(storm::gspn::Place const& place) const;
 
    void setInhibitionArcMultiplicity(storm::gspn::Place const& place, uint64_t multiplicity);
 
    bool removeInhibitionArc(storm::gspn::Place const& place);
 
    bool existsInhibitionArc(storm::gspn::Place const& place) const;
 
    bool isEnabled(storm::gspn::Marking const& marking) const;
 
    storm::gspn::Marking fire(storm::gspn::Marking const& marking) const;
 
    void setName(std::string const& name);
 
    std::string const& getName() const;
 
    std::unordered_map<uint64_t, uint64_t> const& getInputPlaces() const;
 
    std::unordered_map<uint64_t, uint64_t> const& getOutputPlaces() const;
 
    std::unordered_map<uint64_t, uint64_t> const& getInhibitionPlaces() const;
 
    uint64_t getInputArcMultiplicity(storm::gspn::Place const& place) const;
 
    uint64_t getInhibitionArcMultiplicity(storm::gspn::Place const& place) const;
 
    uint64_t getOutputArcMultiplicity(storm::gspn::Place const& place) const;
 
    void setPriority(uint64_t const& priority);
 
    uint64_t getPriority() const;
 
    void setID(uint64_t const& id) {
        this->id = id;
    }
 
    uint64_t getID() const {
        return id;
    }
 
   private:
    // maps place ids connected to this transition with an input arc to the corresponding multiplicity
    std::unordered_map<uint64_t, uint64_t> inputMultiplicities;
 
    // maps place ids connected to this transition with an output arc to the corresponding multiplicities
    std::unordered_map<uint64_t, uint64_t> outputMultiplicities;
 
    // maps place ids connected to this transition with an inhibition arc to the corresponding multiplicity
    std::unordered_map<uint64_t, uint64_t> inhibitionMultiplicities;
 
    // name of the transition
    std::string name;
 
    // priority of this transition
    uint64_t priority = 0;
 
    uint64_t id;
};
}  // namespace gspn
}  // namespace storm