From 5176caf4d2d05c309f604cf77d8efcc1b676d8fb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 15 Oct 2004 13:33:50 +0000 Subject: [PATCH] * src/tgbaalgos/gtec/ce.cc: Reinstall change from 2004-09-21. --- ChangeLog | 2 ++ src/tgbaalgos/gtec/ce.cc | 6 +++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index fe725e466..9da0df4c0 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2004-10-15 Alexandre Duret-Lutz + * src/tgbaalgos/gtec/ce.cc: Reinstall change from 2004-09-21. + Back out all Thomas's changes on emptiness checks since 2004-08-23. Some of these will need to be reintegrated more slowly and cleanly. diff --git a/src/tgbaalgos/gtec/ce.cc b/src/tgbaalgos/gtec/ce.cc index dac2f2415..8c7d2d970 100644 --- a/src/tgbaalgos/gtec/ce.cc +++ b/src/tgbaalgos/gtec/ce.cc @@ -295,9 +295,9 @@ namespace spot todo.pop(); delete iter; seen.erase(s); - if (todo.size()) + if (!todo.empty()) { - assert(path.size()); + assert(!path.empty()); path.pop_back(); } continue; @@ -334,7 +334,7 @@ namespace spot // If we already have a best path, let see if the current // one is better. - if (best_path.size()) + if (!best_path.empty()) { // When comparing the merits of two paths, only the // acceptance conditions we are trying the traverse