• Alexandre Duret-Lutz's avatar
    Use []=> and <>=> as sugar in the output when possible. · 412f946a
    Alexandre Duret-Lutz authored
    * src/ltlast/multop.hh (is_multop): Take a constant formula as input.
    * src/ltlvisit/tostring.cc (to_string_visitor::visit(multop*)):
    Output []=> or <>=> when the left argument of a []-> or <>-> is
    a concatenation that ends in 1.
    * doc/tl/tl.tex: Document this desugaring.
    412f946a