Browse Source

Fixed json export for FDEPs

tempestpy_adaptions
Matthias Volk 6 years ago
parent
commit
32f757e4b4
  1. 2
      src/storm-dft/storage/dft/DftJsonExporter.cpp

2
src/storm-dft/storage/dft/DftJsonExporter.cpp

@ -80,6 +80,8 @@ namespace storm {
std::stringstream stream; std::stringstream stream;
stream << dependency->probability(); stream << dependency->probability();
nodeData["probability"] = stream.str(); nodeData["probability"] = stream.str();
} else {
nodeData["type"] = "fdep";
} }
} else if (element->isBasicElement()) { } else if (element->isBasicElement()) {
// Set BE specific data // Set BE specific data

Loading…
Cancel
Save