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

* src/tgbaalgos/ltl2tgba_fm.cc: Typo in comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-10-24 10:16:19 +02:00
parent d552be308b
commit 7c464246f2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/ltl2tgba_fm.cc
View file

@ -1491,7 +1491,7 @@ namespace spot
}
case binop::W:
{
// r(f1 W f2) = r(f2) + r(f1)X(f1 U f2) if not recurring
// r(f1 W f2) = r(f2) + r(f1)X(f1 W f2) if not recurring
// r(f1 W f2) = r(f2) + r(f1) if recurring
//
// also f1 W 0 = G(f1), so we can enable recurring on f1