From 6db964363eec0e97a7f3f72b7d323ed2e63fe89c Mon Sep 17 00:00:00 2001
From: Jip Spel <jip.spel@cs.rwth-aachen.de>
Date: Tue, 18 Jun 2019 11:18:58 +0200
Subject: [PATCH] Update for artifact evaluation ATVA

---
 src/storm-pars-cli/storm-pars.cpp   |  1 +
 src/storm-pars/analysis/Lattice.cpp | 23 +----------------------
 2 files changed, 2 insertions(+), 22 deletions(-)

diff --git a/src/storm-pars-cli/storm-pars.cpp b/src/storm-pars-cli/storm-pars.cpp
index 59bdc61f0..cd6a20712 100644
--- a/src/storm-pars-cli/storm-pars.cpp
+++ b/src/storm-pars-cli/storm-pars.cpp
@@ -725,6 +725,7 @@ namespace storm {
                 monotonicityWatch.stop();
                 STORM_PRINT(std::endl << "Total time for monotonicity checking: " << monotonicityWatch << "." << std::endl
                                     << std::endl);
+return;
             }
 
             std::vector<storm::storage::ParameterRegion<ValueType>> regions = parseRegions<ValueType>(model);
diff --git a/src/storm-pars/analysis/Lattice.cpp b/src/storm-pars/analysis/Lattice.cpp
index c585bb000..8c0e04136 100644
--- a/src/storm-pars/analysis/Lattice.cpp
+++ b/src/storm-pars/analysis/Lattice.cpp
@@ -223,28 +223,7 @@ namespace storm {
         }
 
         void Lattice::toString(std::ostream &out) {
-            std::vector<Node*> printedNodes = std::vector<Node*>({});
-            for (auto itr = nodes.begin(); itr != nodes.end(); ++itr) {
-
-                if ((*itr) != nullptr && std::find(printedNodes.begin(), printedNodes.end(), (*itr)) == printedNodes.end()) {
-                    Node *node = *itr;
-                    printedNodes.push_back(*itr);
-                    out << "Node: {";
-                    for (auto const & state:node->states) {
-                        out << state << "; ";
-
-                    }
-                    out << "}" << "\n";
-                    out << "  Address: " << node << "\n";
-                    out << "    Above: {";
-
-                    auto statesAbove = node->statesAbove;
-                    for (auto const & state:(node->statesAbove)) {
-                        out << state << "; ";
-                    }
-                    out << "}" << "\n";
-                }
-            }
+            
         }
 
         bool Lattice::above(Node *node1, Node *node2) {