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

* src/tgba/tgbatba.cc: Fix English in comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2010-03-06 18:07:46 +01:00
parent 58b233db6f
commit 629dc4c0c9
2 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2010-03-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgba/tgbatba.cc: Fix English in comments.
2010-03-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Reverse the order of expected acceptance conditions in

6
src/tgba/tgbatba.cc
View file

@ -198,14 +198,14 @@ namespace spot
// to denote the (N+1)th copy of the state, after all acceptance
// conditions have been traversed. Such state is always accepting,
// so do not check acc for this.
// bddtrue is also used by tgba_tba_proxy if the automata do not
// use acceptance conditions. In that cases, all state are accepting.
// bddtrue is also used by tgba_tba_proxy if the automaton does not
// use acceptance conditions. In that case, all states are accepting.
if (*expected_ != bddtrue)
{
// A transition in the *EXPECTED acceptance set should be
// directed to the next acceptance set. If the current
// transition is also in the next acceptance set, then go
// the one after, etc.
// to the one after, etc.
//
// See Denis Oddoux's PhD thesis for a nice explanation (in French).
// @PhDThesis{ oddoux.03.phd,