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

* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_cycle):

Browse source 
More ref in comment.
This commit is contained in:
Alexandre Duret-Lutz 2005-01-27 12:35:33 +00:00
parent acead199f5
commit 311e1ba759
2 changed files with 17 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/tgbaalgos/gtec/ce.cc
View file

@ -158,7 +158,18 @@ namespace spot
// restarted from the point reached after we have discovered a
// transition with a new acceptance conditions.
//
// This idea is taken from Product<T>::findWitness in LBTT 1.1.2.
// This idea is taken from Product<T>::findWitness in LBTT 1.1.2,
// which in turn is probably inspired from
// @Article{ latvala.00.fi,
// author = {Timo Latvala and Keijo Heljanko},
// title = {Coping With Strong Fairness},
// journal = {Fundamenta Informaticae},
// year = {2000},
// volume = {43},
// number = {1--4},
// pages = {1--19},
// publisher = {IOS Press}
// }
const state* substart = ecs_->cycle_seed;
do
{