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

Prefer "xor" over "^" when outputing formulae.

Browse source 
* src/ltlvisit/tostring.cc (to_string_visitor): Here.
This commit is contained in:
Alexandre Duret-Lutz 2012-03-14 16:34:49 +01:00
parent 5ce59c011c
commit 62bf41cdb4
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ltlvisit/tostring.cc
View file

@ -1,5 +1,5 @@
// Copyright (C) 2008, 2010, 2012 Laboratoire de Recherche et Développement // Copyright (C) 2008, 2010, 2012 Laboratoire de Recherche et
// de l'Epita (LRDE). // Développement de l'Epita (LRDE)
// Copyright (C) 2003, 2004 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 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
@ -156,7 +156,7 @@ namespace spot
switch (bo->op()) switch (bo->op())
{ {
case binop::Xor: case binop::Xor:
os_ << " ^ "; os_ << " xor ";
break; break;
case binop::Implies: case binop::Implies:
os_ << " -> "; os_ << " -> ";