Browse Source

Fixed linking issues with duplicate symbols

tempestpy_adaptions
Matthias Volk 7 years ago
parent
commit
48a0b88cd0
  1. 8
      src/storm-dft/modelchecker/dft/DFTASFChecker.h

8
src/storm-dft/modelchecker/dft/DFTASFChecker.h

@ -33,13 +33,15 @@ namespace storm {
} }
friend bool operator<(SpareAndChildPair const& p1, SpareAndChildPair const& p2) {
return p1.spareIndex < p2.spareIndex || (p1.spareIndex == p2.spareIndex && p1.childIndex < p2.childIndex);
}
private:
uint64_t spareIndex; uint64_t spareIndex;
uint64_t childIndex; uint64_t childIndex;
}; };
bool operator<(SpareAndChildPair const& p1, SpareAndChildPair const& p2) {
return p1.spareIndex < p2.spareIndex || (p1.spareIndex == p2.spareIndex && p1.childIndex < p2.childIndex);
}
class DFTASFChecker { class DFTASFChecker {
using ValueType = double; using ValueType = double;

Loading…
Cancel
Save