From 5b9491448aae2ef5154daea93c7dc23cf86fae29 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@web.de>
Date: Thu, 31 Mar 2016 16:58:13 +0200
Subject: [PATCH] removed debug output
Former-commit-id: 2bee2d7aa8eb10e72791d82eab09108fb5b1a88b
---
src/utility/policyguessing.cpp | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/utility/policyguessing.cpp b/src/utility/policyguessing.cpp
index 0d01cff6e..61f9da6d6 100644
--- a/src/utility/policyguessing.cpp
+++ b/src/utility/policyguessing.cpp
@@ -316,7 +316,6 @@ namespace storm {
//1. Is satisfied. Check 2.: There is another choice that leads to target
ValueType choiceValue = x[state];
for(uint_fast64_t otherChoice = 0; otherChoice < solver.getMatrix().getRowGroupSize(state); ++otherChoice){
- std::cout << "b" << std::endl;
if(otherChoice == scheduler.getChoice(state)) continue;
if(rowLeadsToTarget(rowGroupIndex + otherChoice, solver.getMatrix(), targetChoices, probGreater0States)){
//2. is satisfied. Check 3. The value of that choice is equal to the value of the choice given by the Scheduler