src/services/comparison.hpp
BeforeProposed
+1−1
1313 bool a = item.left >= 0 && left.accept.at(item.left);
1414 bool b = item.right >= 0 && right.accept.at(item.right);
1515 if (a != b) return {false, item.word};
16 for (int symbol = static_cast<int>(left.alphabet.size()) - 1; symbol >= 0; --symbol) {
16 for (int symbol = 0; symbol < static_cast<int>(left.alphabet.size()); ++symbol) {
1717 int x = destination(left, item.left, symbol), y = destination(right, item.right, symbol);
1818 if (visited.insert(product_key(x, y)).second) pending.push({x, y, item.word + left.alphabet[symbol]});
1919 }