Edge.h

Go to the documentation of this file.

#pragma once
 
#include <memory>
 
#include <boost/optional.hpp>
#include <iostream>
 
#include "storm/storage/BoostTypes.h"
#include "storm/storage/jani/EdgeDestination.h"
#include "storm/storage/jani/OrderedAssignments.h"
 
namespace storm {
namespace jani {
 
class TemplateEdge;
 
class Edge {
   public:
    Edge() = default;
 
    Edge(uint64_t sourceLocationIndex, uint64_t actionIndex, boost::optional<storm::expressions::Expression> const& rate,
         std::shared_ptr<TemplateEdge> const& templateEdge,
         std::vector<std::pair<uint64_t, storm::expressions::Expression>> const& destinationTargetLocationsAndProbabilities);
    Edge(uint64_t sourceLocationIndex, uint64_t actionIndex, boost::optional<storm::expressions::Expression> const& rate,
         std::shared_ptr<TemplateEdge> const& templateEdge, std::vector<uint64_t> const& destinationLocations,
         std::vector<storm::expressions::Expression> const& destinationProbabilities);
 
    uint64_t getSourceLocationIndex() const;
 
    uint64_t getActionIndex() const;
 
    bool hasSilentAction() const;
 
    bool hasRate() const;
 
    storm::expressions::Expression const& getRate() const;
 
    boost::optional<storm::expressions::Expression> const& getOptionalRate() const;
 
    void setRate(storm::expressions::Expression const& rate);
 
    storm::expressions::Expression const& getGuard() const;
 
    void setGuard(storm::expressions::Expression const& guard);
 
    EdgeDestination const& getDestination(uint64_t index) const;
 
    std::vector<EdgeDestination> const& getDestinations() const;
 
    std::vector<EdgeDestination>& getDestinations();
 
    std::size_t getNumberOfDestinations() const;
 
    void substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution, bool const substituteTranscendentalNumbers);
 
    storm::storage::FlatSet<storm::expressions::Variable> const& getWrittenGlobalVariables() const;
 
    OrderedAssignments const& getAssignments() const;
 
    bool usesVariablesInNonTransientAssignments(std::set<storm::expressions::Variable> const& variables) const;
 
    bool hasTransientEdgeDestinationAssignments() const;
 
    bool usesAssignmentLevels(bool onlyTransient = false) const;
 
    uint64_t getColor() const;
 
    void setColor(uint64_t newColor);
 
    void simplifyIndexedAssignments(VariableSet const& localVars);
 
    std::shared_ptr<TemplateEdge> const& getTemplateEdge();
    void setTemplateEdge(std::shared_ptr<TemplateEdge> const& newTe);
 
    int64_t const& getLowestAssignmentLevel() const;
 
    int64_t const& getHighestAssignmentLevel() const;
 
    std::string toString() const;
 
    void assertValid() const;
 
   private:
    uint64_t sourceLocationIndex;
 
    uint64_t actionIndex;
 
    boost::optional<storm::expressions::Expression> rate;
 
    std::shared_ptr<TemplateEdge> templateEdge;
 
    std::vector<EdgeDestination> destinations;
 
    uint64_t color = 0;
};
 
std::ostream& operator<<(std::ostream& stream, Edge const& edge);
 
}  // namespace jani
}  // namespace storm