From c0210abb55c954305c2b8e002b121eb4ee68151c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 6 Jan 2004 11:59:24 +0000 Subject: [PATCH] * iface/gspn/eesrg.cc (tgba_gspn_eesrg::all_acceptance_conditions, tgba_gspn_eesrg::neg_acceptance_conditions): Forward to data_->operand. --- ChangeLog | 4 ++++ iface/gspn/eesrg.cc | 10 ++++++---- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 9a93975e6..a72499955 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2004-01-06 Alexandre Duret-Lutz + * iface/gspn/eesrg.cc (tgba_gspn_eesrg::all_acceptance_conditions, + tgba_gspn_eesrg::neg_acceptance_conditions): Forward to + data_->operand. + * src/tgbaalgos/emptinesscheck.cc (emptiness_check::complete_cycle): Do not skip this computation if from == to but the period is empty. diff --git a/iface/gspn/eesrg.cc b/iface/gspn/eesrg.cc index 357eec85c..c09cc3131 100644 --- a/iface/gspn/eesrg.cc +++ b/iface/gspn/eesrg.cc @@ -469,15 +469,17 @@ namespace spot bdd tgba_gspn_eesrg::all_acceptance_conditions() const { - // There is no acceptance conditions in GSPN systems. - return bddfalse; + // There is no acceptance conditions in GSPN systems, they all + // come from the operand automaton. + return data_->operand->all_acceptance_conditions(); } bdd tgba_gspn_eesrg::neg_acceptance_conditions() const { - // There is no acceptance conditions in GSPN systems. - return bddtrue; + // There is no acceptance conditions in GSPN systems, they all + // come from the operand automaton. + return data_->operand->neg_acceptance_conditions(); } }