Refactor to never push to front

VeriFIT · Sep 8, 2023 · 9796bdb · 9796bdb
1 parent 7cd3a6f
commit 9796bdb
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/include/mata/parser/inter-aut.hh b/include/mata/parser/inter-aut.hh
@@ -123,7 +123,7 @@ public:
  */
 struct FormulaGraph {
     FormulaNode node{};
-    std::deque<FormulaGraph> children{};
+    std::vector<FormulaGraph> children{};
 
     FormulaGraph() = default;
     FormulaGraph(const FormulaNode& n) : node(n), children() {}

diff --git a/src/inter-aut.cc b/src/inter-aut.cc
@@ -279,10 +279,12 @@ namespace {
                             break;
                         default:
                             assert(opstack.size() > 1);
-                            gr.children.emplace_back(std::move(opstack.back()));
+                            mata::FormulaGraph second_child{ std::move(opstack.back()) };
                             opstack.pop_back();
-                            gr.children.emplace_front(std::move(opstack.back()));
+                            mata::FormulaGraph first_child{ std::move(opstack.back()) };
                             opstack.pop_back();
+                            gr.children.emplace_back(std::move(first_child));
+                            gr.children.emplace_back(std::move(second_child));
                             opstack.emplace_back(std::move(gr));
                     }
                     break;