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

* src/ltltest/genltl.cc (syntax): Typos in the help text.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2011-03-18 17:02:30 +01:00
parent 1878bfd0fc
commit a5a74481d9
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2011-03-18 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/ltltest/genltl.cc (syntax): Typos in the help text.
2011-03-17 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Improve a reduction rule for "a M b".

4
src/ltltest/genltl.cc
View file

@ -72,8 +72,8 @@ syntax(char* prog)
<< "Classes available (F):" << std::endl
<< " 1: F(p1&F(p2&F(p3&...F(pn)))) & F(q1&F(q2&F(q3&...F(qn))))"
<< std::endl
<< " 2: p&X(p&X(p&...X(p)))) & X(q&F(q&F(q&...F(q))))" << std::endl
<< " 3: p&(Xp)&(XXp)&...(X...X(p)) & p&(Xq)&(XXq)&...(X...X(q))"
<< " 2: F(p&X(p&X(p&...X(p)))) & F(q&X(q&X(q&...X(q))))" << std::endl
<< " 3: F(p&(Xp)&(XXp)&...(X...X(p))) & F(q&(Xq)&(XXq)&...(X...X(q)))"
<< std::endl
<< " 4: GF(p1)&GF(p2)&...&GF(pn)" << std::endl
<< " 5: FG(p1)|FG(p2)|...|FG(pn)" << std::endl