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

* src/tgbaalgos/tau03opt.hh (explicit_tau03_opt_search): Doco.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2005-01-18 16:10:49 +00:00
parent 48dfd73cca
commit 8a5e31f00e
2 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tgbaalgos/tau03opt.hh
View file

@ -60,12 +60,12 @@ namespace spot
/// weight[b] = weight[b] - 1;
/// end for;
/// else
/// let (s, l, a, t) be the edge from s to t;
/// Acc = s.acc U a;
/// if t.color == cyan &&
/// (Acc U support(weight -s.weight) U t.acc) == all_acc then
/// (Acc U support(weight -t.weight) U t.acc) == all_acc then
/// report a cycle;
/// else if Acc not included in t.acc then
/// t.acc := t.acc U Acc
/// call dfs_red(t, Acc);
/// end if;
/// end if;
@ -81,6 +81,7 @@ namespace spot
/// (Acc U support(weight -t.weight) U t.acc) == all_acc then
/// report a cycle;
/// else if t.color != white and Acc not included in t.acc then
/// t.acc := t.acc U Acc
/// call dfs_red(t, Acc);
/// end if;
/// end for;