From 24fec22e52db552169ce29457e142da1023bd172 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 6 Jan 2004 11:52:16 +0000 Subject: [PATCH] * src/tgbaalgos/emptinesscheck.cc (emptiness_check::complete_cycle): Do not skip this computation if from == to but the period is empty. --- ChangeLog | 3 +++ src/tgbaalgos/emptinesscheck.cc | 7 +++++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 099a6caf4..9a93975e6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-01-06 Alexandre Duret-Lutz + * src/tgbaalgos/emptinesscheck.cc (emptiness_check::complete_cycle): + Do not skip this computation if from == to but the period is empty. + * iface/gspn/eesrg.cc (state_gspn_eesrg::clone): Clone the right state. diff --git a/src/tgbaalgos/emptinesscheck.cc b/src/tgbaalgos/emptinesscheck.cc index 7e337c575..15a957289 100644 --- a/src/tgbaalgos/emptinesscheck.cc +++ b/src/tgbaalgos/emptinesscheck.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -423,7 +423,10 @@ namespace spot const state* from, const state* to) { - if (from == to) + // If by change or period already ends on the state we have + // to reach back, we are done. + if (from == to + && ! period.empty()) return; // Records backlinks to parent state during the BFS.