* iface/gspn/eesrg.cc (tgba_gspn_eesrg::all_acceptance_conditions,

tgba_gspn_eesrg::neg_acceptance_conditions): Forward to
data_->operand.

ChangeLog

 2004-01-06  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* 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.
 

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