Browse Source

Use toString() for exit rates, ADL not working for some reason

Former-commit-id: cbc9eaf722
tempestpy_adaptions
hbruintjes 9 years ago
parent
commit
efae19b092
  1. 2
      src/builder/ExplicitDFTModelBuilder.cpp

2
src/builder/ExplicitDFTModelBuilder.cpp

@ -86,7 +86,7 @@ namespace storm {
} else {
STORM_LOG_TRACE("Transition matrix: too big to print");
}
STORM_LOG_TRACE("Exit rates: " << modelComponents.exitRates);
STORM_LOG_TRACE("Exit rates: " << storm::utility::vector::toString<ValueType>(modelComponents.exitRates));
STORM_LOG_TRACE("Markovian states: " << modelComponents.markovianStates);
// Build state labeling

Loading…
Cancel
Save