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

* src/ltlvisit/tostring.cc

Browse source 
(to_string_visitor::visit(const atomic_prop*)): Quote propositions
that start with F, G, or X.
* src/ltltest/tostring.test: Test quoted propositions.
* src/tgbaalgos/save.cc (save_bfs::process_state): Escape " and +	characters in formulae.
* src/tgbatest/readsave.test: Test for this.
This commit is contained in:
Alexandre Duret-Lutz 2004-01-06 15:45:00 +00:00
parent a7ab42e422
commit 8008deeddd
5 changed files with 43 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/ltlvisit/tostring.cc
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -47,7 +47,15 @@ namespace spot
void
visit(const atomic_prop* ap)
{
os_ << ap->name();
std::string str = ap->name();
if (str[0] == 'F' || str[0] == 'G' || str[0] == 'X' )
{
os_ << '"' << str << '"';
}
else
{
os_ << str;
}
}
void