Browse Source

Fixed warnings

tempestpy_adaptions
Matthias Volk 8 years ago
parent
commit
ec060a59b2
  1. 2
      src/storm-dft/storage/dft/elements/DFTPand.h
  2. 2
      src/storm-dft/storage/dft/elements/DFTPor.h

2
src/storm-dft/storage/dft/elements/DFTPand.h

@ -50,7 +50,7 @@ namespace storm {
}
std::string typestring() const override {
return "PAND" + inclusive ? "" : "-ex";
return inclusive ? "PAND" : "PAND-ex";
}
protected:
bool inclusive;

2
src/storm-dft/storage/dft/elements/DFTPor.h

@ -42,7 +42,7 @@ namespace storm {
}
std::string typestring() const override {
return "POR" + inclusive ? "" : "-ex";
return inclusive ? "POR" : "POR-ex";
}
bool isInclusive() {

Loading…
Cancel
Save