src/ltlvisit/tostring.cc · 62bf41cdb49d381f45293ca759f096f6e767e5c1 · Spot / Spot · GitLab

Mar 14, 2012
62bf41cd
Prefer "xor" over "^" when outputing formulae. · 62bf41cd
Alexandre Duret-Lutz authored Mar 14, 2012
```
* src/ltlvisit/tostring.cc (to_string_visitor): Here.
```
62bf41cd
Prefer "xor" over "^" when outputing formulae.
Alexandre Duret-Lutz authored Mar 14, 2012
```
* src/ltlvisit/tostring.cc (to_string_visitor): Here.
```