Browse Source

adding some more output to Fox-Glynn

tempestpy_adaptions
dehnert 7 years ago
parent
commit
109b738258
  1. 2
      src/storm/utility/numerical.cpp

2
src/storm/utility/numerical.cpp

@ -258,7 +258,7 @@ namespace storm {
}
result.totalWeight += result.weights[j];
STORM_LOG_TRACE("Fox-Glynn: ltp = " << result.left << ", rtp = " << result.right << ", w = " << result.totalWeight << ".");
STORM_LOG_TRACE("Fox-Glynn(lambda=" << lambda << ", eps=" << epsilon << "): ltp = " << result.left << ", rtp = " << result.right << ", w = " << result.totalWeight << ".");
return result;
}

Loading…
Cancel
Save