From d14b04fe724806ad75b9b9b5b3e30b363a3fcea1 Mon Sep 17 00:00:00 2001 From: lukpo Date: Wed, 11 Aug 2021 15:29:08 +0200 Subject: [PATCH] WIP DEBUG message for multiplier type --- .../rpatl/helper/SparseSmgRpatlHelper.cpp | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp index 85a08ea96..60af5b2d0 100644 --- a/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp +++ b/src/storm/modelchecker/rpatl/helper/SparseSmgRpatlHelper.cpp @@ -18,6 +18,15 @@ 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; @@ -52,6 +61,15 @@ namespace storm { scheduler = std::make_unique>(expandScheduler(viHelper.extractScheduler(), psiStates, ~phiStates)); } } + + 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());