From ccbfef288dda65f2f58a7957a6eceb9ebb4e6727 Mon Sep 17 00:00:00 2001 From: sjunges Date: Sun, 11 May 2014 19:17:39 +0200 Subject: [PATCH] removed some debug output Former-commit-id: 0b9921827633247080bfa498fe832a35d1b338b6 --- src/adapters/ExplicitModelAdapter.h | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/adapters/ExplicitModelAdapter.h b/src/adapters/ExplicitModelAdapter.h index d6ca4b223..10e46281b 100644 --- a/src/adapters/ExplicitModelAdapter.h +++ b/src/adapters/ExplicitModelAdapter.h @@ -169,7 +169,6 @@ namespace storm { // all expressions in the program so we can then evaluate them without having to store the values of the // constants in the state (i.e., valuation). preparedProgram = preparedProgram.substituteConstants(); - std::cout << preparedProgram << std::endl; ModelComponents modelComponents = buildModelComponents(preparedProgram, rewardModelName); std::unique_ptr> result; @@ -534,16 +533,13 @@ namespace storm { } for (auto const& module : program.getModules()) { for (auto const& booleanVariable : module.getBooleanVariables()) { - std::cout << booleanVariable.getName() << " <-- " << booleanVariable.getInitialValueExpression() << "(= " << booleanVariable.getInitialValueExpression().evaluateAsBool() << " )" << std::endl; - initialState->addBooleanIdentifier(booleanVariable.getName(), booleanVariable.getInitialValueExpression().evaluateAsBool()); + initialState->addBooleanIdentifier(booleanVariable.getName(), booleanVariable.getInitialValueExpression().evaluateAsBool()); } for (auto const& integerVariable : module.getIntegerVariables()) { initialState->addIntegerIdentifier(integerVariable.getName(), integerVariable.getInitialValueExpression().evaluateAsInt()); } } - std::cout << "INITIAL STATE:" << std::endl; - std::cout << *initialState << std::endl; - + std::pair addIndexPair = getOrAddStateIndex(initialState, stateInformation); stateInformation.initialStateIndices.push_back(addIndexPair.second); stateQueue.push(stateInformation.stateToIndexMap[initialState]);