From 93bf17f54bb08282f205dc0d736cb26931d6ea59 Mon Sep 17 00:00:00 2001 From: dehnert Date: Fri, 6 Apr 2018 15:45:16 +0200 Subject: [PATCH] remove debug output --- src/storm/transformer/SymbolicToSparseTransformer.cpp | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/storm/transformer/SymbolicToSparseTransformer.cpp b/src/storm/transformer/SymbolicToSparseTransformer.cpp index cf3b46ab3..8ebac17de 100644 --- a/src/storm/transformer/SymbolicToSparseTransformer.cpp +++ b/src/storm/transformer/SymbolicToSparseTransformer.cpp @@ -68,11 +68,6 @@ namespace storm { storm::models::sparse::StateLabeling labelling(transitionMatrix.getRowGroupCount()); labelling.addLabel("init", symbolicMdp.getInitialStates().toVector(odd)); - symbolicMdp.getDeadlockStates().template toAdd().exportToDot("deadlock.dot"); - std::cout << "height " << odd.getHeight() << std::endl; - for (auto const& var : symbolicMdp.getDeadlockStates().getContainedMetaVariables()) { - std::cout << "var " << var.getName() << " = " << symbolicMdp.getManager().getMetaVariable(var).getNumberOfDdVariables() << " dd vars" << std::endl; - } labelling.addLabel("deadlock", symbolicMdp.getDeadlockStates().toVector(odd)); for(auto const& label : symbolicMdp.getLabels()) { labelling.addLabel(label, symbolicMdp.getStates(label).toVector(odd));