Order symmetries in decreasing order

Former-commit-id: 7ba21b0b9e

examples/dft/symmetry5.dft

@@ -0,0 +1,21 @@
+toplevel "A";
+"A" and "BA" "BB" "BC" "BD" "BE" "BF";
+"BA" and "CA" "DA";
+"BB" and "CB" "DB";
+"BC" and "CC" "DC";
+"BD" and "CD" "DD";
+"BE" and "CE" "DE";
+"BF" and "CF" "DF";
+"CA" lambda=0.5 dorm=0;
+"DA" lambda=0.5 dorm=0;
+"CB" lambda=0.5 dorm=0;
+"DB" lambda=0.5 dorm=0;
+"CC" lambda=0.5 dorm=0;
+"DC" lambda=0.5 dorm=0;
+"CD" lambda=0.5 dorm=0;
+"DD" lambda=0.5 dorm=0;
+"CE" lambda=0.5 dorm=0;
+"DE" lambda=0.5 dorm=0;
+"CF" lambda=0.5 dorm=0;
+"DF" lambda=0.5 dorm=0;
+

src/storage/dft/DFTState.cpp

@@ -259,7 +259,7 @@ namespace storm {
                     for (size_t i = 1; i < n; ++i) {
                         elem1 = mStatus.getAsInt(symmetryIndices[i-1], length);
                         elem2 = mStatus.getAsInt(symmetryIndices[i], length);
-                        if (elem1 > elem2) {
+                        if (elem1 < elem2) {
                             // Swap elements
                             mStatus.setFromInt(symmetryIndices[i-1], length, elem2);
                             mStatus.setFromInt(symmetryIndices[i], length, elem1);