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

Fix LTL output for Spin.

Browse source 
* src/ltlvisit/tostring.cc (spin_kw): Output X, not ().
This commit is contained in:
Alexandre Duret-Lutz 2012-05-05 11:05:58 +02:00
parent 927d745805
commit 7438fa3c65
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/ltlvisit/tostring.cc
View file

@ -105,11 +105,11 @@ namespace spot
"1", "1",
"[*0]", // not supported "[*0]", // not supported
" xor ", // rewritten " xor ", // rewritten
" -> ", // rewritten " -> ", // rewritten, although supported
" <-> ", // rewritten " <-> ", // rewritten, although supported
" U ", " U ",
" V ", " V ",
" W ", // rewritten " W ", // rewritten, although supported
" M ", // rewritten " M ", // rewritten
"<>-> ", // not supported "<>-> ", // not supported
"<>=> ", // not supported "<>=> ", // not supported
@ -118,7 +118,7 @@ namespace spot
"[]-> ", // not supported "[]-> ", // not supported
"[]=> ", // not supported "[]=> ", // not supported
"!", "!",
"()", "X",
"<>", "<>",
"[]", "[]",
" || ", " || ",