From 8a5e31f00e6114834ee6d4924c116fc9146798dc Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 18 Jan 2005 16:10:49 +0000 Subject: [PATCH] * src/tgbaalgos/tau03opt.hh (explicit_tau03_opt_search): Doco. --- ChangeLog | 2 ++ src/tgbaalgos/tau03opt.hh | 5 +++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 821b6f164..396a60d2c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2005-01-18 Alexandre Duret-Lutz + * src/tgbaalgos/tau03opt.hh (explicit_tau03_opt_search): Doco. + * src/tgbaalgos/gtec/gtec.cc (couvreur99_check_shy::clear_todo, couvreur99_check_shy::check): Sum all successors in the todo stack AND all items on the stack. diff --git a/src/tgbaalgos/tau03opt.hh b/src/tgbaalgos/tau03opt.hh index 9a5e856c7..79783b5cf 100644 --- a/src/tgbaalgos/tau03opt.hh +++ b/src/tgbaalgos/tau03opt.hh @@ -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;