From ca27267c6959771a853301237e714b0bda1d54a4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 13 Oct 2004 14:32:05 +0000 Subject: [PATCH] * src/tgba/tgbaexplicit.cc (tgba_explicit_succ_iterator::current_state, tgba_explicit_succ_iterator::current_condition, tgba_explicit_succ_iterator::current_accepting_conditions): Assert the iteration is not finished. --- ChangeLog | 7 +++++++ src/tgba/tgbaexplicit.cc | 3 +++ 2 files changed, 10 insertions(+) diff --git a/ChangeLog b/ChangeLog index 4b727d4b9..69b76ce04 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2004-10-13 Alexandre Duret-Lutz + + * src/tgba/tgbaexplicit.cc (tgba_explicit_succ_iterator::current_state, + tgba_explicit_succ_iterator::current_condition, + tgba_explicit_succ_iterator::current_accepting_conditions): Assert + the iteration is not finished. + 2004-10-12 Alexandre Duret-Lutz * wrap/python/tests/run.in: Typo. From Akim Demaille. diff --git a/src/tgba/tgbaexplicit.cc b/src/tgba/tgbaexplicit.cc index 3a2edaa3e..91ceda214 100644 --- a/src/tgba/tgbaexplicit.cc +++ b/src/tgba/tgbaexplicit.cc @@ -59,18 +59,21 @@ namespace spot state_explicit* tgba_explicit_succ_iterator::current_state() const { + assert(!done()); return new state_explicit((*i_)->dest); } bdd tgba_explicit_succ_iterator::current_condition() const { + assert(!done()); return (*i_)->condition; } bdd tgba_explicit_succ_iterator::current_acceptance_conditions() const { + assert(!done()); return (*i_)->acceptance_conditions & all_acceptance_conditions_; }