Browse Source

Forgot const

Former-commit-id: 5a748fadf9
main
Mavo 9 years ago
parent
commit
d148272386
  1. 6
      src/storage/dft/DFT.h

6
src/storage/dft/DFT.h

@ -84,16 +84,16 @@ namespace storm {
mSymmetries.push_back(std::make_pair(lenght, startingIndices)); mSymmetries.push_back(std::make_pair(lenght, startingIndices));
} }
size_t getSymmetrySize() { size_t getSymmetrySize() const {
return mSymmetries.size(); return mSymmetries.size();
} }
size_t getSymmetryLength(size_t pos) { size_t getSymmetryLength(size_t pos) const {
assert(pos < mSymmetries.size()); assert(pos < mSymmetries.size());
return mSymmetries[pos].first; return mSymmetries[pos].first;
} }
std::vector<size_t> const& getSymmetryIndices(size_t pos) { std::vector<size_t> const& getSymmetryIndices(size_t pos) const {
assert(pos < mSymmetries.size()); assert(pos < mSymmetries.size());
return mSymmetries[pos].second; return mSymmetries[pos].second;
} }

|||||||
100:0
Loading…
Cancel
Save