ImmediateTransition.h

Go to the documentation of this file.

#pragma once
 
#include "storm-gspn/storage/gspn/Transition.h"
#include "storm/utility/constants.h"
 
namespace storm {
namespace gspn {
template<typename WeightType>
class ImmediateTransition : public storm::gspn::Transition {
   public:
    void setWeight(WeightType const& weight) {
        this->weight = weight;
    }
 
    WeightType getWeight() const {
        return this->weight;
    }
 
    bool noWeightAttached() const {
        return storm::utility::isZero(weight);
    }
 
   private:
    // the weight of the transition. Must be positive, if zero, then no weight is attached.
    WeightType weight;
};
}  // namespace gspn
}  // namespace storm