From 28f1c9d368b40b424a0d7df8a3c3e8706f39fab4 Mon Sep 17 00:00:00 2001 From: lukpo Date: Mon, 23 Aug 2021 15:27:08 +0200 Subject: [PATCH] removed DEBUG for multiplier type in SparseSmgRpatlHelper.cpp --- .../rpatl/helper/SparseSmgRpatlHelper.cpp | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp index 60af5b2d0..2a352c381 100644 --- a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp +++ b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp @@ -18,15 +18,6 @@ namespace storm { // TODO add Kwiatkowska original reference auto solverEnv = env; solverEnv.solver().minMax().setMethod(storm::solver::MinMaxMethod::ValueIteration, false); - //solverEnv.solver().multiplier().setType(storm::solver::MultiplierType::Native); - - if(solverEnv.solver().multiplier().getType() == storm::solver::MultiplierType::Native) { - STORM_LOG_DEBUG("Multiplier type = Native"); - } else if(solverEnv.solver().multiplier().getType() == storm::solver::MultiplierType::Gmmxx) { - STORM_LOG_DEBUG("Multiplier type = Gmmxx"); - } else { - STORM_LOG_DEBUG("Multiplier type unknown"); - } // Relevant states are those states which are phiStates and not PsiStates. storm::storage::BitVector relevantStates = phiStates & ~psiStates; @@ -62,14 +53,6 @@ namespace storm { } } - if(solverEnv.solver().multiplier().getType() == storm::solver::MultiplierType::Native) { - STORM_LOG_DEBUG("Multiplier type = Native"); - } else if(solverEnv.solver().multiplier().getType() == storm::solver::MultiplierType::Gmmxx) { - STORM_LOG_DEBUG("Multiplier type = Gmmxx"); - } else { - STORM_LOG_DEBUG("Multiplier type unknown"); - } - // Fill up the result vector with the values of x for the relevant states, with 1s for psi states (0 is default) storm::utility::vector::setVectorValues(result, relevantStates, x); storm::utility::vector::setVectorValues(result, psiStates, storm::utility::one());