Browse Source

Fixed a human error.

Fixed the same ambiguous call error in the second place.


Former-commit-id: b9fff85b67
tempestpy_adaptions
PBerger 11 years ago
parent
commit
7845a52ef4
  1. 4
      src/storage/dd/CuddDd.cpp

4
src/storage/dd/CuddDd.cpp

@ -354,11 +354,11 @@ namespace storm {
} }
void Dd<CUDD>::exportToDot(std::string const& filename) const { void Dd<CUDD>::exportToDot(std::string const& filename) const {
std::vector<ADD> cuddAddVector = { this->cuddAdd };
if (filename.empty()) { if (filename.empty()) {
this->getDdManager()->getCuddManager().DumpDot({this->cuddAdd});
this->getDdManager()->getCuddManager().DumpDot(cuddAddVector);
} else { } else {
FILE* filePointer = fopen(filename.c_str() , "w"); FILE* filePointer = fopen(filename.c_str() , "w");
std::vector<ADD> cuddAddVector = { this->cuddAdd };
this->getDdManager()->getCuddManager().DumpDot(cuddAddVector, nullptr, nullptr, filePointer); this->getDdManager()->getCuddManager().DumpDot(cuddAddVector, nullptr, nullptr, filePointer);
fclose(filePointer); fclose(filePointer);
} }

Loading…
Cancel
Save