Browse Source

Used duplicate variable name

Former-commit-id: 3f47dfb3d1
tempestpy_adaptions
Mavo 9 years ago
parent
commit
5a066b9ae0
  1. 4
      src/storage/dft/SymmetricUnits.h

4
src/storage/dft/SymmetricUnits.h

@ -48,9 +48,9 @@ namespace storm {
std::vector<std::vector<size_t>> createSymmetry(std::vector<std::vector<size_t>> parentSymmetry, std::vector<std::vector<size_t>> childSymmetry, size_t index) { std::vector<std::vector<size_t>> createSymmetry(std::vector<std::vector<size_t>> parentSymmetry, std::vector<std::vector<size_t>> childSymmetry, size_t index) {
std::vector<std::vector<size_t>> result; std::vector<std::vector<size_t>> result;
for (std::vector<size_t> childSymmetry : childSymmetry) {
for (std::vector<size_t> childSym : childSymmetry) {
std::vector<size_t> symmetry; std::vector<size_t> symmetry;
for (size_t child : childSymmetry) {
for (size_t child : childSym) {
int bijectionValue = applySymmetry(parentSymmetry, child, index); int bijectionValue = applySymmetry(parentSymmetry, child, index);
if (bijectionValue >= 0) { if (bijectionValue >= 0) {
symmetry.push_back(bijectionValue); symmetry.push_back(bijectionValue);

Loading…
Cancel
Save