EdgeDestination.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
 
#include "storm/storage/expressions/Expression.h"
 
#include "storm/storage/jani/TemplateEdgeDestination.h"
 
namespace storm {
namespace jani {
 
class EdgeDestination {
   public:
    EdgeDestination(uint64_t locationIndex, storm::expressions::Expression const& probability, TemplateEdgeDestination const& templateEdgeDestination);
 
    uint64_t getLocationIndex() const;
 
    storm::expressions::Expression const& getProbability() const;
 
    void setProbability(storm::expressions::Expression const& probability);
 
    void substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution, bool const substituteTranscendentalNumbers);
 
    std::map<storm::expressions::Variable, storm::expressions::Expression> getAsVariableToExpressionMap() const;
 
    OrderedAssignments const& getOrderedAssignments() const;
 
    bool hasAssignment(Assignment const& assignment) const;
 
    bool hasTransientAssignment() const;
 
    bool usesAssignmentLevels() const;
 
    TemplateEdgeDestination const& getTemplateEdgeDestination() const;
 
    void updateTemplateEdgeDestination(TemplateEdgeDestination const& newTed);
 
   private:
    // The index of the destination location.
    uint64_t locationIndex;
 
    // The probability to go to the destination.
    storm::expressions::Expression probability;
 
    // The template edge destination
    std::reference_wrapper<TemplateEdgeDestination const> templateEdgeDestination;
};
class EdgeDestination {…};
 
}  // namespace jani
}  // namespace storm