-
Alexandre Duret-Lutz authored
* src/ltlvisit/tostring.hh, src/ltlvisit/tostring.cc (to_string): Add third option to enable formating suitable for SERE.
cc889a7f
* src/ltlvisit/tostring.hh, src/ltlvisit/tostring.cc (to_string): Add third option to enable formating suitable for SERE.