From 497d1a85b7ea2ad086baf8de7dc3632474394613 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guillermo=20P=C3=A9rez?= Date: Wed, 5 Apr 2017 16:08:26 +0200 Subject: [PATCH] changes --- source/aig.cpp | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/source/aig.cpp b/source/aig.cpp index e124569..c23f12d 100644 --- a/source/aig.cpp +++ b/source/aig.cpp @@ -962,6 +962,13 @@ std::vector BDDAIG::mergeSomeSignals(BDD cube, dep_next += 2; bdd_next += 2; } + // if dep_it is not dep_vector.end() and yet we're here, the number of + // subgames was odd and we need to add the last game back into the list + if (dep_it != dep_vector.end()) { + new_dep_vector.push_back(*dep_it); + new_bdd_vector.push_back(*bdd_it); + } + // now we update our vectors/lists dep_vector = new_dep_vector; bdd_vector = new_bdd_vector; }