lowest/highest assignment level of an edge now only consider the edge destinations

src/storm/storage/jani/Edge.h

@@ -121,13 +121,13 @@ namespace storm {
             void setTemplateEdge(std::shared_ptr<TemplateEdge> const& newTe);
 
             /*!
-             * Retrieves the lowest assignment level occurring in each assignment.
+             * Retrieves the lowest assignment level occurring in a destination assignment.
              * If no assignment exists, this value is the highest possible integer
              */
             int64_t const& getLowestAssignmentLevel() const;
             
             /*!
-             * Retrieves the highest assignment level occurring in each assignment
+             * Retrieves the highest assignment level occurring in a destination assignment
              * If no assignment exists, this value is always zero
              */
             int64_t const& getHighestAssignmentLevel() const;

src/storm/storage/jani/TemplateEdge.cpp

@@ -27,13 +27,8 @@ namespace storm {
         }
         
         void TemplateEdge::finalize(Model const& containingModel) {
-            if (assignments.empty()) {
             lowestAssignmentLevel = std::numeric_limits<int64_t>::max();
             highestAssignmentLevel = std::numeric_limits<int64_t>::min();
-            } else {
-                lowestAssignmentLevel = assignments.getLowestLevel();
-                highestAssignmentLevel = assignments.getHighestLevel();
-            }
             for (auto const& destination : getDestinations()) {
                 if (!destination.getOrderedAssignments().empty()) {
                     lowestAssignmentLevel = std::min(lowestAssignmentLevel, destination.getOrderedAssignments().getLowestLevel());

src/storm/storage/jani/TemplateEdge.h

@@ -92,13 +92,13 @@ namespace storm {
             bool usesAssignmentLevels(bool onlyTransient = false) const;
 
             /*!
-             * Retrieves the lowest assignment level occurring in each assignment.
+             * Retrieves the lowest assignment level occurring in a destination assignment.
              * If no assignment exists, this value is the highest possible integer
              */
             int64_t const& getLowestAssignmentLevel() const;
             
             /*!
-             * Retrieves the highest assignment level occurring in each assignment
+             * Retrieves the highest assignment level occurring in a destination assignment
              * If no assignment exists, this value is always zero
              */
             int64_t const& getHighestAssignmentLevel() const;