From 663e1b0a8f3410c8b10d74d403a5cd6e637698cd Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 21 Jun 2013 11:37:51 +0200
Subject: [PATCH] Fixed wrong model name in dot output.
Former-commit-id: 44e70120ebc0d0782e417f6270a4a0621f7b7025
---
src/models/AbstractModel.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/models/AbstractModel.h b/src/models/AbstractModel.h
index 52d481a90..df57d8d51 100644
--- a/src/models/AbstractModel.h
+++ b/src/models/AbstractModel.h
@@ -406,7 +406,7 @@ protected:
* @return A string containing the exported model in dot-format.
*/
virtual void writeDotToStream(std::ostream& outStream, bool includeLabeling = true, storm::storage::BitVector const* subsystem = nullptr, std::vector<T> const* firstValue = nullptr, std::vector<T> const* secondValue = nullptr, std::vector<uint_fast64_t> const* stateColoring = nullptr, std::vector<std::string> const* colors = nullptr, std::vector<uint_fast64_t>* scheduler = nullptr, bool finalizeOutput = true) const {
- outStream << "digraph deterministicModel {" << std::endl;
+ outStream << "digraph model {" << std::endl;
// Write all states to the stream.
for (uint_fast64_t state = 0, highestStateIndex = this->getNumberOfStates() - 1; state <= highestStateIndex; ++state) {