From 77d0bbcd8a4e4e0887f89e4ce267cb3c744255a7 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 16 Sep 2016 22:02:49 +0200
Subject: [PATCH] Constructor for EdgeDestinations taking OrderedAssignments
Former-commit-id: c3bc4fba16d6652fd88902fcab4de11afd757fb2 [formerly cf9fea3a55c61316aa843bfb96a9b9198b1f63b6]
Former-commit-id: 54f0e6b106d6b7bd6847b76151e7cefa6bbce7ab
---
src/storage/jani/EdgeDestination.cpp | 7 +++++++
src/storage/jani/EdgeDestination.h | 2 ++
2 files changed, 9 insertions(+)
diff --git a/src/storage/jani/EdgeDestination.cpp b/src/storage/jani/EdgeDestination.cpp
index 7429808c9..f34231b14 100644
--- a/src/storage/jani/EdgeDestination.cpp
+++ b/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);
}
diff --git a/src/storage/jani/EdgeDestination.h b/src/storage/jani/EdgeDestination.h
index 2ff9d4ef2..b8af1cc90 100644
--- a/src/storage/jani/EdgeDestination.h
+++ b/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.
*/