alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/tgba/tgbaexplicit.cc (tgba_explicit_succ_iterator::current_state,

Browse source 
tgba_explicit_succ_iterator::current_condition,
tgba_explicit_succ_iterator::current_accepting_conditions): Assert
the iteration is not finished.
This commit is contained in:
Alexandre Duret-Lutz 2004-10-13 14:32:05 +00:00
parent d647e7a0db
commit ca27267c69
2 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2004-10-13 Alexandre Duret-Lutz <adl@src.lip6.fr>
* 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 <adl@gnu.org> 2004-10-12 Alexandre Duret-Lutz <adl@gnu.org>
* wrap/python/tests/run.in: Typo. From Akim Demaille. * wrap/python/tests/run.in: Typo. From Akim Demaille.

3
src/tgba/tgbaexplicit.cc
View file

@ -59,18 +59,21 @@ namespace spot
state_explicit* state_explicit*
tgba_explicit_succ_iterator::current_state() const tgba_explicit_succ_iterator::current_state() const
{ {
assert(!done());
return new state_explicit((*i_)->dest); return new state_explicit((*i_)->dest);
} }
bdd bdd
tgba_explicit_succ_iterator::current_condition() const tgba_explicit_succ_iterator::current_condition() const
{ {
assert(!done());
return (*i_)->condition; return (*i_)->condition;
} }
bdd bdd
tgba_explicit_succ_iterator::current_acceptance_conditions() const tgba_explicit_succ_iterator::current_acceptance_conditions() const
{ {
assert(!done());
return (*i_)->acceptance_conditions & all_acceptance_conditions_; return (*i_)->acceptance_conditions & all_acceptance_conditions_;
} }