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(); } }