Constructor for EdgeDestinations taking OrderedAssignments

Former-commit-id: c3bc4fba16 [formerly cf9fea3a55]
Former-commit-id: 54f0e6b106

src/storage/jani/EdgeDestination.cpp

@@ -10,6 +10,13 @@ namespace storm {
             // Intentionally left empty.
         }
         
+        
+        EdgeDestination::EdgeDestination(uint64_t locationIndex, storm::expressions::Expression const& probability, OrderedAssignments const& assignments) : locationIndex(locationIndex), probability(probability), assignments(assignments) {
+            // Intentionally left empty.
+        }
+
+
+        
         void EdgeDestination::addAssignment(Assignment const& assignment) {
             assignments.add(assignment);
         }

src/storage/jani/EdgeDestination.h

@@ -16,6 +16,8 @@ namespace storm {
              */
             EdgeDestination(uint64_t locationIndex, storm::expressions::Expression const& probability, std::vector<Assignment> const& assignments = {});
             
+            EdgeDestination(uint64_t locationIndex, storm::expressions::Expression const& probability, OrderedAssignments const& assignments);
+            
             /*!
              * Additionally performs the given assignment when choosing this destination.
              */